Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=теория доказательств<.>)
Общее количество найденных документов
:
6
Показаны документы
с 1 по 6
1..6
1.
В12
Д72
Драгалин, Альберт Григорьевич
.
Конструктивная
теория
доказательств
и нестандартный анализ [Текст] : нелитературный текст / А. Г.Драгалин. - М. : Едиториал УРСС, 2003. - 544с. -
ISBN
5-354-00388-1 : 60.00 р.
ББК
В12
Рубрики:
логика
математическая логика
Кл.слова (ненормированные):
нестандартный анализ
--
интуиционистская логика
--
теория
доказательств
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
2.
В12
К84
Крупский, Николай Владимирович
.
Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов [Текст] : автореф. дисс. на соиск уч. степ. кан. физ.-мат. наук. 01.01.06 / Н. В. Крупский ; МГУ. - М. : [б. и.], 2006. - 12 с. - б/ц
ББК
В12
Рубрики:
Математика
Логика
Кл.слова (ненормированные):
авторефераты В12
--
основания математики
--
математическая логика
--
теория
доказательств
--
рефлексивная комбинаторная логика
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
3.
В14я54
А45
Гамкрелидзе, Р. В.
Алгебра.Топология.Геометрия [Текст] : нелитературный текст. Т.13 / Науч.ред.Р.В.Гамкрелидзе. - [Б. м. : б. и.]. - 342с. - (Итоги науки и техники.ВИНИТИ). - 5.00 р.
ББК
В14я54
Рубрики:
Алгебра
Геометрия
Топология
Кл.слова (ненормированные):
б-ка Русина
--
алгебраическая топология
--
общая топология
--
теория
доказательств
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
4.
В12
Д72
Драгалин, Альберт Григорьевич
.
Математический интуиционизм [Текст] : введение в теорию
доказательств
/ А. Г.Драгалин. - М. : Наука, 1979. - 256с. - (Математическая логика и основания математики). - 2.00 р.
ББК
В12
Рубрики:
основания математики
Кл.слова (ненормированные):
б-ка Русина
--
математический интуиционизм
--
теория
доказательств
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
5.
В12я2
С74
Справочная книга по
математической логике [Текст] : в 4-х частях. Ч.4.
Теория
доказательств
и конструктивная математика / Под ред.Дж.Барвайса.Пер.с англ. - [Б. м. : б. и.]. - 391с. - 10.00 р.
ББК
В12я2
Рубрики:
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
теория
доказательств
--
конструктивная математика
--
справочник В12
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
6.
В12
Г47
Гильберт, Давид
.
Основания математики [Текст] :
теория
доказательств
/ Д.Гильберт,П.Бернайс.Пер.с нем. - М. : Наука, 1982. - 652с. - (Математическая логика и основания математики). - 10.00 р.
ББК
В12
Рубрики:
Основания математика
Кл.слова (ненормированные):
б-ка Русина
--
теория
доказательств
Держатели документа:
ЯрГУ
Доп.точки доступа:
Бернайс, Пауль ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
1..6