Основания математики. Теория доказательств: научное издание/
| Main Authors: | Гильберт, Д. Давид (Author), Бернаис, П. Пауль (Author) |
|---|---|
| Other Authors: | Адян, С. И. (Editor) |
| Format: | Book |
| Language: | Russian |
| Published: |
М.:
Наука
1982
|
| Edition: | 2-е изд. |
| Series: | Математическая логика и основания математики
|
| Subjects: | |
| Online Access: | Перейти в каталог Библиотеки ТУСУР |
Similar Items
-
Основания математики. Логические исчисления и формализация арифметики: научное издание/
by: Гильберт, Д. Давид, et al.
Published: (1982) -
Конструктивная теория доказательств и нестандартный анализ: научное издание/
by: Драгалин Альберт Григорьевич
Published: (2003) -
Основания математики теория доказательств
by: Гильберт, Давид 1862-1943
Published: (1982) -
Основания математической логики/
by: Карри, Х. Б. Хаскелл Б.
Published: (1969) -
Метод математики логика и гносеология математических знаний
by: Менделеев, Иван Дмитриевич 1883-1936
Published: (1913)
