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

Книга
УДК 51 Г474

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

51 Г474

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

809147 Кх
808425 Кх