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

Книга
510.6 Г47

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

510.6

Общий = Математическая логика
Коллекции = Математическая библиотека