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

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

Базы данных

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

Вид поиска

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

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

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

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

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

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

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

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

Вид документа :
Шифр издания : 51/У 774
Автор(ы) : Успенский, Владимир Андреевич, Плиско, Валерий Егорович, Верещагин, Николай Константинович
Заглавие : Вводный курс математической логики : учебное пособие . -[2-е изд.]
Выходные данные : М.: Физматлит, 2004
Колич.характеристики :128 с
Примечания : Библиогр.: с.122 . - Предм. указ.: с. 123
ISBN, Цена 5-9221-0278-8: 129.03, 118.47, р.
ГРНТИ : 27.03
УДК : 510.6
Предметные рубрики: математическая логика
Ключевые слова (''Своб.индексиров.''): теория множеств--теория докозательств--теория алгоритмов--теорема гёделя
Экземпляры : всего : ОНЛ (Двинская 5/7, ЦБ)(2)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(2)
Найти похожие

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

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