Москва, 1959 год Государственное издательство физико-математической литературы Издательский переплет Сохранность хорошая В настоящей книге сделана попытка дать по возможности доступное изложение основ матеафывнматической логики Этой задаче посвящены первые пять глав книги, составляющие ее основное содержание Последняя, шестая, глава носит более специальный характер и уже не является столь элементарной В ней рассматриваются методы теории доказательства, посредством которыхбеиьу решаются некоторые вопросы математической логики, возникающие в основном тексте книги Автор Петр Новиков.