Л13 Лавров, И. А. Математическая логика: Учеб. пособие для студ. вузов, обуч. по технич. и естест.-нучн. специальностям [Текст] / И.А. Лавров; Под ред. Л.Л. Максимовой. - М. : Академия, 2006. - 240 с. - (Университетский учебник). - 212.00 р.
Кл.слова (ненормированные): Математика -- математическая логика -- числа -- натуральные числа -- действительные числа -- семантика -- алгебраические системы -- логические системы -- синтаксис -- построение логических исчислений -- логические исчисления -- исчисление высказываний -- исчисление предикатов -- исчисление функций -- связь семантики и синтаксиса -- интерпретации -- классические аксиоматические теории -- аксиоматика -- теория множеств -- числовые теории Экземпляры всего: 1 6к (1) Свободны: 6к (1) |