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

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

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

Виды поиска: 
Стандартный Расширенный По словарю

Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Оревков, В. П.$<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
 1..3 
1.
В127я54
П78


    Оревков, В. П.
    Проблемы конструктивного направления в математике. 4 [Текст] : сборник работ / под ред. В. П. Оревкова, Н. А. Шанина. - Л. : Наука, 1967. - 264 с. - (Математический ин-т им. В. А. Стеклова. Труды. Т. 93). - 40.00 р.
ББК В127я54
Рубрики: основания математики
   логика

Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- конструктивная математика -- исчисление

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

2.
В1я54
П78


    Оревков, В. П.
    Проблемы конструктивного направления в математике. 6 [Текст] : сборник работ / под ред. В. П. Оревкова, Н. А. Шанина. - Л. : Наука, 1973. - 269 с. - (Математический ин-т им. В. А. Стеклова. Труды. Т. 129). - 10.00 р.
ББК В1я54
Рубрики: Математика
Кл.слова (ненормированные):
б-ка Русина -- конструктивная математика -- конструктивная математическая логика -- теория алгорифмов

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

3.
В1я54
П78


    Оревков, В. П.
    Проблемы конструктивного направления в математике. 5 [Текст] : сборник работ / под ред. В. П. Оревкова, Н. А. Шанина. - Л. : Наука, 1970. - 263 с. - (Математический ин-т им. В. А. Стеклова. Труды. Т. 113). - 10.00 р.
ББК В1я54
Рубрики: Математика
Кл.слова (ненормированные):
б-ка Русина -- конструктивная математика -- конструктивная математическая логика

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

 1..3