0
Математическая логика Серия: Классический университетский учебник инфо 12628x.

В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов Ряд развбирзделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой Для студентов математических специальностей вузов Может служить пособием для спецкурсов Авторы Юрий Ершов Евгений Палютин.