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