Л 13 Лавров, Игорь Андреевич. Математическая логика : учебное пособие для студентов вузов / И. А. Лавров ; ред. Л. Л. Максимова. - М. : Академия, 2006. - 240 с. - (Университетский учебник. Прикладная математика и информатика). - 3 000 прим.. - ISBN 5-7695-2735-8 Рекомендовано Мин. образования Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА Кл.слова (ненормовані): алгебраические системы -- логические системы -- классические алгебраические системы -- построение логических исчислений -- исчисление высказываний -- исчисление предикатов -- теория множеств -- числовые теории -- геометрические теории Дод.точки доступу: Максимова, Л. Л. \ред.\ Примірників всього: 20 Аб. (20) Свободны: Аб. (20) |