Электронный каталог

Книга
УДК 51 Г474

Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики : пер. с нем. / Д. Гильберт, П Бернайс ; ред. С. И. Адян . – 2-е изд . – М. : Наука, 1982 . – 556 с. – (Математическая логика и основания математики) .

51 Г474

Тезаурус = ГАСНТИ 27.03
Тезаурус = Математика : основания математики и математическая логика : математическая логика

814753 Кх
817573 Кх