Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
Ф
формализация арифметики
Документи:
Гильберт, Д.
Основания математики [Текст] : Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс. – М. : Наука, 1982. – 557с. – (Математическая логика и основания математики).
Інформаційно-пошукова система
'УФД/Бібліотека'