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

1973, изд-во: Наука, город: Москва., стр. : 400 стр., илл., обложка: Твердый издательский переплет с суперобложкой., формат: Обычный, состояние: Отличное у книги. Суперобложка с мелкими дефектами по кромкам. . В книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики.