51 К268 Карри, Хаскелл Брукс. Основания математической логики [Текст] / Хаскелл Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. - Москва : Мир, 1969. - 567, [1] с. : табл., черт. ; 22 см. - Доп. тит. л. англ. - Библиогр.: с. 518-547. - Указ. символов, терминов и именной.: с. 548-567. - Пер. изд. : Foundations of mathematical logic / by Haskell B. Curry. - New York [etc.], 1963. - (в пер.) : 2.64 р. Рубрики: Математическая логика Кл.слова (ненормированные): математическая логика -- матлогика -- логика математическая -- формальные системы -- эпитеория -- реляционная логическая алгебра -- логическая алгебра -- теория импликации -- отрицание -- кванторы -- модальности -- математика Аннотация: Книга американского учёного посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений. Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Донченко, В. В. \пер.\; Гастев, Юрий Алексеевич \ред. пер.\; Curry, Haskell Brooks; Curry, H. B. Экземпляры всего: 2 АБ (1), МБ (1) Свободны: АБ (1), МБ (1) |