51 Г474 Гильберт, Давид. Основания математики [Текст] : Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного ; под ред. [и с предисл.] С. И. Адяна. - Москва : Наука, 1979. - 557 с. ; 22 см. - (Математическая логика и основания математики). - На пер. авт. и загл. не указаны. - Алф. указ.: с. 551-557. - Пер. изд. : Crundlagen der Mathematik. I / D. Hilbert und P. Bernays. - 2. Aufl. - Berlin etc, 1968. - (в пер., в суперобл.) : 2.70 р. Есть автограф: Экз. 460250 : Студенты 43-й гр. математиков ФМФ Рубрики: Математическая логика Кл.слова (ненормированные): математика -- основания математики -- математическая логика -- логические исчисления -- формализация арифметики -- формальная аксиоматика -- элементарная арифметика -- финитный способ рассуждений -- исчисление высказываний -- исчисление предикатов -- бесконечные индивидные области -- рекурсивные определения -- математическое доказательство Аннотация: Монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплины со своей проблематикой и своими методами, отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Гильберта и Бернайса пользуется большой популярностью среди специалистов и оказывает влияние на развитие математической логики. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Бернайс, Пауль; Bernays P.; Нагорный, Николай Макарьевич \пер.\; Адян, Сергей Иванович \ред., предисл.\; Hilbert D.; Hilbert, D. ; Bernays, P. Экземпляры всего: 2 АБ (1), МБ (1) Свободны: АБ (1), МБ (1) |