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