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

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>KL=конструктивные поля<.>)
Общее количество найденных документов : 1
1.

Вид документа : Многотомное издание
Шифр издания : 22.12
Автор(ы) :
Заглавие : Справочная книга по математической логике: в четырех частях: пер. с англ./ ред. Дж. Барвайс. Ч. 3: Теория рекурсии
Выходные данные : Москва: Наука, 1982
Колич.характеристики :359 с
Цена : 2.00 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): арифметика пресбургера--булевы алгебры--диофантовы уравнения--индуктивные определения--индукция--конструктивные поля--математическая логика--проблема остановки--регулярно замкнутые поля--рекурсия--теорема о дереве--теория индуктивных определений--теория полей--теория рекурсии--теория стратов галуа--элиминация кванторов
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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