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

Книга
51 Г474

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

ББК 22.121я73

основной = математика : математическая логика
основной = математика : основания математики
основной = формальная арифметика
основной = виды изданий : учебные издания

00000000414597 МАТУ 51 Г474
00000000414598 МАТУ 51 Г474
00000000414599 МАТУ 51 Г474
00000000414600 МАТУ 51 Г474
00000000414601 МАТУ 51 Г474
00000000414602 МАТУ 51 Г474