О книге
В книге приведены главные традиционные исчисления математической логики: исчисление изречений и исчисление предикатов; имеется краткое изложение главных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - приведены более детально, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов. 6-е издание, исправленное.
Характеристики
Издательство:
Физматлит
Год издания:
2011-01-01
ISBN:
978-5-9221-1301-4
0 
