Полное описание
>
Карри, Хаскелл Брокс. Основания математической логики / Хаскелл Б. Карри; перевод с английского В. В. Донченко; под редакцией Ю. А. Гастева. - Москва : Мир, 1969. - 567, [1] с. - Библиогр.: с. 518-547. - Пер. изд. : Foundations of mathematical logic / by Haskell B. Curry. - New York [et al.], 1963. - Тираж не указ. - Текст : непосредственный.ГРНТИ | УДК | |
27.03.19 | 510 |
Рубрики:
Математическая логика
Кл.слова (ненормированные): АЛГОРИФМЫ -- ЗАМЕНА И МОНОТОННЫЕ ОТНОШЕНИЯ -- ЛОГИЧЕСКИЕ АЛГЕБРЫ ВООБЩЕ -- СТРУКТУРЫ -- ТЕОРИЯ ОПРЕДЕЛЕНИЙ -- ФОРМАЛЬНЫЕ СИСТЕМЫ -- ЭПИТЕОРИЯ
Аннотация: Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений. Рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.
Доп. точки доступа:
Донченко, В.В.\пер.\
Гастев, Ю.А.\ред.\
Curry, Haskell B.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-69/4408)>
Шифр в сводном ЭК: 75c6fda4720a0fc1ed8c0d6d0eee2fba
Заказ фрагмента документа ₽