517.11 Г474 2 Гильберт, Давид     Основания математики. Логические исчисления и формализация арифметики [Текст] / пер. с нем. Н. М. Нагорного ; под ред. С. И. Адяна. — М. : Наука, 1979. — 557 с.

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Львівського національного університету «Львівська політехніка»	2	Перейти на сайт