Новые поступления (книга в стадии обработки) Энгелер, Э. Метаматематика элементарной математики [Текст] : научное издание / Э. Энгелер ; пер. с нем. Г. Е. Минц. - М. : Мир, 1987. - 128 с. ; 20 см. - 0.50 р.
Рубрики: МАТЕМАТИКА--ЭЛЕМЕНТАРНАЯ МАТЕМАТИКА Кл.слова (ненормированные): МАТЕМАТИКА -- ЭЛЕМЕНТАРНАЯ МАТЕМАТИКА -- МЕТАМАТЕМАТИКА -- КОНТИНиум -- АЛГОРИТМИКА -- ЛАМБДА-ИСЧИСЛЕНИЕ Аннотация: Изложены проблемы обоснования теории вещественных чисел, аксиоматика геометрии, понятие алгоритма. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Минц, Г. Е. |