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

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

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

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Матиясевич, Ю. В.$<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
 1..5 
1.
В12я54
И88

    Матиясевич, Ю. В.
    Исследования по конструктивной математике и математической логике.8 [Текст] : сборник работ / Под ред.Ю.В.Матиясевича,А.О.Слисенко. - Л. : Наука, 1979. - 251с. - (Записки научных семинаров ЛОМИ,том 88). - 5.00 р.
ББК В12я54
Рубрики: логика
   основания математики
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- числа совершенные -- аморифмы -- канонические морфизмы

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

    Матиясевич, Ю. В.
    Исследования по конструктивной математике и математической логике.7 [Текст] : сборник работ / Под ред.Ю.В.Матиясевича,А.О.Слисенко. - Л. : Наука, 1976. - 229с. - (Записки научных семинаров ЛОМИ,том 60). - 10.00 р.
ББК В12я54
Рубрики: логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- конструктивный анализ

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
3.
В12я54
И88

    Матиясевич, Ю. В.
    Исследования по конструктивной математике и математической логике.6 [Текст] : сборник работ / Под ред. Ю. В. Матиясевича, А. О. Слисенко. - Л. : Наука, 1974. - 163 с. - (Записки научных семинаров ЛОМИ,том 40). - 5.00 р.
ББК В12я54
Рубрики: логика
   основания математики
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- конструктивная математика -- конструктивный математический анализ

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

    Матиясевич, Ю. В.
    Исследования по конструктивной математике и математической логике. 4 [Текст] : сборник работ / под. ред. Ю. В. Матиясевича, А. О. Слисенко. - Л. : Наука, 1971. - 294 с. - (Записки научных семинаров ЛОМИ, том 20). - 10.00 р.
ББК В12я54
Рубрики: логика
   основания математики
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- конструктивная математика -- непрерывность -- алгорифмические последовательности

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

    Матиясевич, Ю. В.
    Исследования по конструктивной математике и математической логике. 5 [Текст] : сборник работ / Под ред. Ю. В. Матиясевича, О. А. Слисенко. - Л. : Наука, 1972. - 162 с. - (Записки научных семинаров ЛОМИ, том 32). - 10.00 р.
ББК В12я54
Рубрики: основания математики
Кл.слова (ненормированные):
б-ка Русина -- конструктивная математика -- теория алгоритмов

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