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