В книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики. Книга предназначена для лиц, впервые знакомящихся с математической логикой, и не требует от читателя никакой специальной подготовки. Последняя глава, посвященная элементарному доказательству непротиворечивости некоторой ограниченной части классической арифметики методом автора, может представлять интерес и для специалистов.
Мариночка, спасибо Вам огромное за консультацию для моего мужа, который не может написать (а соответственно и защитить) диплом уже более полугода. Еще раз - моя Вам благодарность!!!)) Конечно, я поняла, что это только материал;)), я просто благодарю Вас за Вашу работу в принципе. Вчера весь вечер разбирались, нашли много ценного!!!:)) Как "склепаем";)) диплом, защитится мой муженек- обязательно сообщу результат! Огромное спасибо за внимание и за помощь!!!))