Г47 Гильберт, Давид. Основания математики [Текст] : теория доказательств = Grundlagen der mathematik. II : D. Hilbert, P. Bernays / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорный ; под ред. С. И. Адяна. - М. : Наука, 1982. - 652 с. : рис. - (Математическая логика и основания математики). - Прил.: с. 457-646. - Алфав. указ.: с. 647-652. - 3.40 р.
Рубрики: Математика--Наукові видання Кл.слова (ненормовані): математика -- теорема Эрбрана -- теорема Ербрана -- геометрия -- геометрія -- математический анализ -- математичний аналіз -- теорема Геделя -- теорема Геделя -- гильбертовский подход -- гільбертовський підхід -- теорема Черча -- парадокс Ришара -- парадокс Рішара -- теория доказательств -- теорія доказів -- основания математики -- основи математики Анотація: Подробно излагаются и обсуждаются результаты теории доказательств, относящиеся к логическим исчислениям и формализованной арифметике. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Бернайс, Пауль; Нагорный, Н. М. \пер.\; Адян, С. И. \ред. пер.\ Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |