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

Наявність
Установа	Кількість	Документ на сайті установи
Наукова бібліотека Тернопільського національного педагогічного університету імені Володимира Гнатюка	3	Перейти на сайт