Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=конструктивная математическая логика<.>)
Общее количество найденных документов
:
3
Показаны документы
с 1 по 3
1..3
1.
В12
Н73
Новиков, Петр Сергеевич
.
Конструктивная
математическая
логика
с точки зрения классической [Текст] : нелитературный текст / П. С.Новиков. - М. : Наука, 1977. - 328с. - (
Математическая
логика
и основания математики). - 4.00 р.
ББК
В12
Рубрики:
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая
логика
--
конструктивная
математическая
логика
Держатели документа:
ЯрГУ ЯрГУ/Ф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