Основания математики: Логические исчисления и формализация арифметики/
Гильберт, Давид
Основания математики: Логические исчисления и формализация арифметики/ Grundlagen Der Mathematik Давид Гильберт, Пауль Бернайс; Ред. С.И. Адян; Пер. Н.М. Нагорний - Москва: Наука, 1979. - 557с.
Математика--Математическая логика
51.01:16
Основания математики: Логические исчисления и формализация арифметики/ Grundlagen Der Mathematik Давид Гильберт, Пауль Бернайс; Ред. С.И. Адян; Пер. Н.М. Нагорний - Москва: Наука, 1979. - 557с.
Математика--Математическая логика
51.01:16