名古屋大学附属図書館




1

Основания математики : логические исчисления и формализация арифметики

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