Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 25.01.2026; планируемая отправка: 26.01.2026
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 22.01.2026; планируемая отправка: 23.01.2026
Технические характеристики
Для студ.математ.специальностей вузов, может служить пособием для спецкурсов. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисления предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.