| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Электронный каталог - результаты поиска

Виды поиска

Область поиска
В текущей базе данных найдено документов :3
 В других БД по вашему запросу найдено:ЭБС "ЛАНЬ" (1)ЭБС "ZNANIUM.com" (ИД "ИНФРА-М") (1)ЭБС "РУКОНТ" (1)ЭБС "IPRBOOKS" (62)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (6)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.

Вычислительные системы. Вып. 139:Теория вычислимости и языки спецификаций. - 1991
2.

Гильберт, Давид Основания математики. [Т. 1]:Логические исчисления и формализация арифметики. - 1979
3.

Гильберт, Давид Основания математики. [Т. 2]:Теория доказательств. - 1982
 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)