Вид документа : Многотомное издание Шифр издания : 22.12 Автор(ы) : Заглавие : Справочная книга по математической логике: в четырех частях: пер. с англ./ ред. Дж. Барвайс. Ч. 1: Теория моделей Выходные данные : Москва: Наука, 1982 Колич.характеристики :392 с.: ил. Цена : 2.20 р. ББК : 22.12 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): алгебраические системы--бесконечная логика--допустимые множества--инфинитезимальный анализ--категорная логика--логика--логика первого порядка--математическая логика--множества--модельная полнота--однородные множества--справочники--теория моделей Аннотация: "Справочник по математической логике" является попыткой коллектива математиков рассказать о некоторых современных достижениях в логике. Из многообразия относящихся сюда тем были отобраны те, которые затрагивают основные проблемы данной области или особенно важны для применений в математике. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Барвайс, Дж. \\ред.\\ |