517 Л 136 Лавров, Игорь Андреевич. Математическая логика : учебное пособие для вузов / И. А. Лавров ; . - Москва : Академия, 2006. - 240 с. - (Университетский учебник. Прикладная математика и информатика.). - Библиогр.: с. 230. - ISBN 5-7695-2735-8 : 151.50 р., 151.50 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- алгебраические системы -- исчисление предикатов -- исчисление высказываний -- ИСЧИСЛЕНИЕ ФУНКЦИЙ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ Доп.точки доступа: Максимова, Лариса Львовна Экземпляры всего: 2 Х (1), ЧЗЕ (1) Свободны: Х (1), ЧЗЕ (1) |