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

Книга
УДК 51 Г474

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

51 Г474

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

766096 Кх