Чёрч А. Введение в математическую логику. Том 1

Монография. — Перевод с английского В. С. Черняевского. — Под редакцией В. А. Успенского. — М.: Иностранная литература, 1960. — 484 с. OCR с ошибками.Изложение автора книги отличается необычайной полнотой — как в смысле полноты рассмотрения каждого вопроса, так и в смысле полноты круга рассматриваемых вопросов.
Эта монография принадлежит перу одного из самых известных современных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики.
Содержащееся в этом томе Введение (стр. 15-63) по существу представляет собой самостоятельное литературное произведение, которое с интересом и пользой может читаться самыми широкими кругами научных работников, интересующихся вопросами математической логики.
Второй том предполагался к изданию, но не был переведен на русский язык. Книга может быть использована в качестве самостоятельного систематического курса математической логики. Чтобы не перегружать основной текст, автор относит значительную часть фактов в упражнения, разбитые на 30 циклов. Существенную часть содержания книги составляют 550 нумерованных примечаний, служащих для примеров, сравнений, ссылок, дополнений, терминологических и исторических справок и т.д., исторические вопросы освещаются также в двух специальных параграфах.
Изложенный в книге материал представляет ценность для всякого математика, в том числе и для специалиста по математической логике. В качестве справочника ею могут пользоваться также и не математики.Введение
Пропозициональное исчисление
Пропозициональное исчисление (продолжение)
Функциональные исчисления первого порядка
Чистое функциональное исчисление первого порядка
Функциональные исчисления второго порядка
Примечания
Предметный указатель
Именной указатель.