Полное описание
>
510/К 268
Карри, Хаскелл Брокс. Основания математической логики / Хаскелл Б. Карри ; перевод с английского В. В. Донченко ; под редакцией Ю. А. Гастева. - Москва : Мир, 1969. - 567, [1] с. - Библиогр.: с. 518-547. - Пер. изд.: Foundations of mathematical logic / by Haskell B. Curry. - New York [et al.], 1963. - Тираж не указ. - 300 р. - Текст : непосредственный.
ГРНТИ | УДК | |
27.03.19 | 510 |
Рубрики:
Математическая логика
Кл.слова (ненормированные): формальные системы -- алгорифмы -- эпитеория -- замена и монотонные отношения -- теория определений -- логические алгебры вообще -- структуры
Аннотация: Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений. Рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.
Доп. точки доступа:
Донченко, В.В.\пер.\
Гастев, Ю.А.\ред.\
Curry, Haskell B.
>
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Заказ фрагмента документа ₽