Новые поступления (книга в стадии обработки) Гильберт, Д. Основания математики [Текст] / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного ; под ред. С. И. Адяна = Grundlagen der mathematik / D. Hilbert, P. Bernays : логические исчисления и формализация арифметики : монография. - М. : Наука, 1979. - 560 с. ; 22 см. - (Математическая логика и основания математики). - 2.70 р. Тит. л. парал. на нем. яз.
Рубрики: Математика--Основания математики Кл.слова (ненормированные): АКСИОМАТИКА ГИЛЬБЕРТА -- ЭЛЕМЕНТАРНАЯ АРИФМЕТИКА -- ТЕОРИЯ ИСТИННОСТНЫХ ФУНКЦИЙ -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- РЕКУРСИВНЫЕ ОПРЕДЕЛЕНИЯ Аннотация: Монография занимает уникальное место в мировой математической литературе. Издание подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Бернайс, П. Bernays P. Нагорный, Н. М. Адян, С. И. |
Новые поступления (книга в стадии обработки) Перельман, Я. И. Живая математика [Текст] : мат. рассказы и головоломки / Я. И. Перельман ; под ред. и с доп. В. Г. Болтянского. - 9-е изд., стер. - М. : Изд-во "Наука", 1970. - 160 с. : ил. ; 21 см. - 0.25 р.
Кл.слова (ненормированные): ГОЛОВОЛОМКИ -- ЭЛЕМЕНТАРНАЯ АРИФМЕТИКА -- УРАВНЕНИЯ -- ЧИСЛОВЫЕ ГОЛОВОЛОМКИ -- МАТЕМАТИКА -- РАЗРЕЗ КУБА Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Болтянский, В. Г. |