Полное описание

М/75271/1
51/Ч-119
Чёрч, Алонзо (1903-1995).
Введение в математическую логику / А. Чёрч ; перевод с английского В. С. Чернявского ; под редакцией В. А. Успенского. - Москва : Изд-во иностранной литературы, 1960 - . - Пер. изд.: Introduction to mathematical logic / by Alonzo Church. - 1956-. - Текст : непосредственный.
Т. 1. - 1960. - 484, [1] с. - Библиогр. в примеч. - Предм. указ.: с.462-477. - Имен. указ.: с.478-481. - Тираж не указ. - 100 р.

ГРНТИ	УДК
27.03.19	510

Рубрики:
Математическая логика

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

Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)

Заказать
Заказ фрагмента документа ₽