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

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

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

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>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