Г 47 |
Гильберт, Д. Основания математики [Текст] : Теория доказательств / Д. Гильберт, П. Бернайс ; Пер. с нем. Н.М. Нагорного; Под ред. С.И. Адяна. – М. : Наука, 1982. – 652с. – (Математическая логика и основания математики). – 18000.
Посвящена вопросам теории математического доказательства, теории алгоритмов, логическим и логико-математическим исчислениям, истории математической логики и оснований математики, а также различным приложениям математической логики. Для широкого круга научных работников, преподавателей и студентов, специалистов по математической логике, всех квалифицированных математиков, которые в той или иной мере интересуются вопросами оснований математики. |