Основания математики. Теория доказательств: научное издание/

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