510 Г47 Гильберт, Д.     Основания математики [Текст] : логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс. — 2-е изд. — М. : Наука, 1982. — 560 с.

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського	4	Перейти на сайт