Электронный каталог библиотеки ФГБОУ ВО "ГУМРФ имени адмирала С.О. Макарова"

На сайт университета

Базы данных

Основная база библиотеки ФГБОУ ВО "ГУМРФ имени адмирала С.О. Макарова" - результаты поиска

Вид поиска

Основная база библиотеки ФГБОУ ВО "ГУМРФ имени адмирала С.О. Макарова"

Сборники научных трудов; Материалы конференций.

Периодические издания (газеты, журналы)

Фонд редкой книги; Морское наследие

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

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

Поисковый запрос: (<.>K=теорема Гёделя<.>)

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

   51
   У 774

    Успенский, Владимир Андреевич.
    Вводный курс математической логики [Текст] : учебное пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - [2-е изд.]. - М. : Физматлит, 2004. - 128 с. - Библиогр.: с.122 . - Предм. указ.: с. 123. - ISBN 5-9221-0278-8 : 129.03 р., 118.47 р.

ГРНТИ	27.03
УДК	510.6

Рубрики: математическая логика
Кл.слова (ненормированные):
теория множеств -- теория докозательств -- теория алгоритмов -- теорема Гёделя

Доп.точки доступа:
Плиско, Валерий Егорович; Верещагин, Николай Константинович
Экземпляры всего: 2
ОНЛ (Двинская 5/7, ЦБ) (2)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (2)
Найти похожие

Инструкция по видам поиска

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