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