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

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

Bibliographic Details
Main Authors: Гильберт, Д. Давид (Author), Бернаис, П. Пауль (Author)
Other Authors: Адян, С. И. (Editor)
Format: Book
Language:Russian
Published: М.: Наука 1982
Edition:2-е изд.
Series:Математическая логика и основания математики
Subjects:
МАТЕМАТИЧЕСКАЯ ЛОГИКА
ФУНДАМЕНТАЛЬНАЯ МАТЕМАТИКА
Online Access:Перейти в каталог Библиотеки ТУСУР

Similar Items

Similar Items