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