Логин (фамилия): Пароль (штрих-код):

Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=рекурсивно перечислимые множества<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
 1..2 
1.
В126
А85

    Арсланов, Марат Мирзаевич.
    Рекурсивно перечислимые множества и степени неразрешимости [Текст] : нелитературный текст / М. М.Арсланов. - Казань : Казан.ун-т, 1986. - 205с. - 10.00 р.
ББК В126
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- теория множеств -- рекурсивно перечислимые множества -- степени неразрешимости

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
2.
В12
Ш47

    Шенфилд, Джозеф.
    Степени неразрешимости [Текст] : нелитературный текст / Д.Шенфилд ; Пер.с англ. - М. : Наука, 1977. - 192с. - (Математическая логика и основания математики). - 10.00 р.
ББК В12
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- множества -- рекурсивно перечислимые множества -- булевы алгебры

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
 1..2