Новиков П.С., Элементы математической логики.
Серия Математическая логика и основания математики.

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