QR code of document
517.1
Г 47
Гильберт, Д.
Основания математики: теория доказательств [Текст] : монография / Д. Гильберт, П. Бернайс. - Алматы : Наука, 1982. - 652 б. - (Математическая логика и основания математики). - 200.00 тг.
| УДК | 517.1 |
Рубрики: Математика
Кл.слова (ненормированные):
основания математики -- теория доказательств
Аннотация: В книге подробно излагаются и обсуждаются результаты теории доказательств, относящиеся к логическим исчислениям и к формализованной арифметике.
Держатели документа:
ЗКГУ
Доп.точки доступа:
Бернайс, П.
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)