ma/7872704
Автор: Ю. Л. Ершов, Е. А. Палютин
Издательство: ФИЗМАТЛИТ
Год: 2011
Дополнительные характеристики
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.