Подробное описание документа

Карри Хаскелл Б.
Основания математической логики / Карри Хаскелл Б. ; пер. с англ. Донченко В. В. ; ред. пер. Гастев Ю. А. - М. : Мир, 1969. - 567 с.

Аннотация

Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления,содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математическо логики,но она, безусловно, доступна всем,кто интересуется фундаментальными проблемами этого раздела математики.

УДК
510.6 Математическая логика

Предметные рубрики

Математическая логика

Общее кол-во в фондах
2 экз.

Заказать на абонемент

Заказать в читальный зал

Вы можете получить данный документ в одном из следующих отделов

Абонемент старших курсов, ГУК, ауд. 213
Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
Преподавательский абонемент ауд.313, ГУК, ауд. 313
Читальный зал ауд.305л, УЛК, ауд. 305л
Читальный зал ауд.313, ГУК, ауд. 313