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