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