Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Пошуковий запит: <.>K=теорема Черча<.>

Загальна кількість знайдених документів : 1

51
Г47

Гильберт, Давид.
Основания математики [Текст] : теория доказательств = Grundlagen der mathematik. II : D. Hilbert, P. Bernays / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорный ; под ред. С. И. Адяна. - М. : Наука, 1982. - 652 с. : рис. - (Математическая логика и основания математики). - Прил.: с. 457-646. - Алфав. указ.: с. 647-652. - 3.40 р.

УДК

ББК 22.12
Рубрики: Математика--Наукові видання
Кл.слова (ненормовані):
математика -- теорема Эрбрана -- теорема Ербрана -- геометрия -- геометрія -- математический анализ -- математичний аналіз -- теорема Геделя -- теорема Геделя -- гильбертовский подход -- гільбертовський підхід -- теорема Черча -- парадокс Ришара -- парадокс Рішара -- теория доказательств -- теорія доказів -- основания математики -- основи математики
Анотація: Подробно излагаются и обсуждаются результаты теории доказательств, относящиеся к логическим исчислениям и формализованной арифметике.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Бернайс, Пауль; Нагорный, Н. М. \пер.\; Адян, С. И. \ред. пер.\
Примірників всього: 2
ЧЗ (1), ФОНД (1)
Свободны: ЧЗ (1), ФОНД (1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)