Новые поступления (книга в стадии обработки) Гильберт, Д. Основания математики [Текст] : теория доказательств : пер с нем. / Д. Гильберт ; ред. С. И. Адян. - М. : Наука, 1982. - 652 с. ; 22см. - (Математическая логика и основания математики). - 3.40 р.
Рубрики: Математика--Высшая математика Математика--Основания математики Кл.слова (ненормированные): высшая математика -- основания математики -- математическая логика -- теория доказательств -- логический формализм -- арифметизация -- доказательство Кальмара -- доказательство Аккермана Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Адян, С. И. |