Название: Введение в математическую логику. Том 1
Автор: Алонзо Черч
Издательство: Иностранной литературы
Год: 1960
Формат: pdf
Страниц: 486
Размер: 20 Mb
Язык: русский



Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики. Изложенный в ней материал представляет ценность для всякого математика, в том числе и для специалиста по математической логике. В качестве справочника ею могут пользоваться также и не математики. Данный первый том вполне может быть использован в качестве самостоятельного систематического курса математической логики; второй том предполагался к изданию, но не был переведен на русский язык. Содержащееся в этом томе Введение по существу представляет собой самостоятельное литературное произведение.