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

Базы данных:

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

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

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

1..3

Ю251:В1
К49

Клини, Стефен.
Основания интуиционистской математики с точки зрения теории рекурсивных функций [Текст] : нелитературный текст / С.Клини ; Пер.с англ. - М. : Наука, 1978. - 271с. - (Математическая логика и основания математики). - 10.00 р.

ББК Ю251:В1
Рубрики: Математика
Философия науки
Кл.слова (ненормированные):
б-ка Русина -- интуиционизм -- философские проблемы математики

Держатели документа:
ЯрГУ

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

Ю251:В1
М54

Методологические аспекты когнитивных процессов [Текст] : сборник научных трудов / Науч.ред.К.Ф.Самохвалов;Ин-т математики СО РАН. - Новосибирск : [б. и.], 2002. - 123с. - (Вычислительные системы,170). - 10.00 р.

ББК Ю251:В1
Рубрики: Философия науки
Кибернетика
Кл.слова (ненормированные):
б-ка Русина -- математическая кибернетика -- время -- вечность -- философские проблемы математики

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

В1в
П27

Перминов, Василий Яковлевич.
Развитие представлений о надежности математического доказательства [Текст] : нелитературный текст / В. Я.Перминов. - М. : Изд-во МГУ, 1986. - 240с. - (Диалект.материализм). - 10.00 р.

ББК В1в
Рубрики: Математика
Кл.слова (ненормированные):
б-ка Русина -- философские проблемы математики

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

1..3