Публикувана/обновена на 26 август 2024г. в 12:22 ч.
Състояние
Използвано
Доставка
Купувача
Вид
Техническа литература
В много добро състояние.
Издателство
Наука
Град на издаване
Москва
Година
1973 г.
Език
Руски
Страници
399
Корици
Твърди
Категория
Математика
В книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики.
Книга предназначена для лиц, впервые знакомящихся с математической логикой, и не требует от читателя никакой специальной подготовки. Последняя глава, посвященная элементарному доказательству непротиворечивости некоторой ограниченной части классической арифметики методом автора, может представлять интерес и для специалистов.