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

Про нас

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

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

Базы данных

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

Вид поиска

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

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

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

Область поиска

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

Поисковый запрос: <.>K=парадокс Ришара<.>

Общее количество найденных документов : 1

Вид документа : Однотомное издание
Шифр издания : 51/Г47
Автор(ы) : Гильберт, Давид, Бернайс, Пауль
Заглавие : Основания математики : теория доказательств
Параллельн. заглавия :Grundlagen der mathematik. II: D. Hilbert, P. Bernays
Выходные данные : М.: Наука, 1982
Колич.характеристики :652 с.: рис.
Серия: Математическая логика и основания математики
Примечания : Прил.: с. 457-646. - Алфав. указ.: с. 647-652
Цена : 3.40 р.
УДК : 51
ББК : 22.12
Предметные рубрики: Математика
фывфывфыв (''Своб.индексиров.''): математика--теорема эрбрана--теорема ербрана--геометрия--геометрія--математический анализ--математичний аналіз--теорема геделя--теорема геделя--гильбертовский подход--гільбертовський підхід--теорема черча--парадокс ришара--парадокс рішара--теория доказательств--теорія доказів--основания математики--основи математики
Аннотация: Подробно излагаются и обсуждаются результаты теории доказательств, относящиеся к логическим исчислениям и формализованной арифметике.
Экземпляры : всего : ЧЗ(1), ФОНД(1)
Свободны : ЧЗ(1), ФОНД(1)
Найти похожие

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)