Поиск :
Личный кабинет :
Электронный читательский билет
Электронный читательский билет
Предъявите этот штрих-код вместо читательского билета
xxx
Электронный каталог: Теория доказательств и конструктивная математика
Теория доказательств и конструктивная математика
Книга
Автор:
Справочная книга по математической логике. Ч. 4: Теория доказательств и конструктивная математика
Издательство: Наука, 1983 г.
ISBN отсутствует
Автор:
Справочная книга по математической логике. Ч. 4: Теория доказательств и конструктивная математика
Издательство: Наука, 1983 г.
ISBN отсутствует
Многотомник
22.12
Справочная книга по математической логике : в 4 ч. : пер. с англ. / под. ред. Дж. Барвайса . – Москва : Наука, 1982 - 1983 .
Книга
22.12 С74
Ч. 4 : Теория доказательств и конструктивная математика : пер. с англ. / пер. Г. В. Давыдова ; Г. Е. Минца ; ред. В. П. Оревкова . – Москва : Наука, 1983 . – 392 с. : 2.10 .
Книга содержит обзоры по наиболее современным направлениям теории доказательств конструктивной математики. /кх-1 ф8-1 ф9-1 ф14-1/
ББК 22.12
Общий = Математическая логика
Общий = Конвертация
Общий = Геометрия (учебный предмет) : Теоремы
ключевой = Теория о неполноте
ключевой = Теория доказательств
ключевой = Устранения сечения
ключевой = Теоремы Эрбана
ключевой = Прямое доказательство
ключевой = Теории конечного типа
ключевой = Аспекты конструктивной математики
ключевой = Логика топосов
ключевой = Бестиповое исчисление
ключевой = Арифметика Пеано
ключевой = Теорема непрерывности
ключевой = Теорема Эрбана
ключевой = Ступенчатая семантика Маркова
ключевой = Мажорантная семантика Шанина
ключевой = Конструктивное отображение квадрата
22.12
Справочная книга по математической логике : в 4 ч. : пер. с англ. / под. ред. Дж. Барвайса . – Москва : Наука, 1982 - 1983 .
Книга
22.12 С74
Ч. 4 : Теория доказательств и конструктивная математика : пер. с англ. / пер. Г. В. Давыдова ; Г. Е. Минца ; ред. В. П. Оревкова . – Москва : Наука, 1983 . – 392 с. : 2.10 .
Книга содержит обзоры по наиболее современным направлениям теории доказательств конструктивной математики. /кх-1 ф8-1 ф9-1 ф14-1/
ББК 22.12
Общий = Математическая логика
Общий = Конвертация
Общий = Геометрия (учебный предмет) : Теоремы
ключевой = Теория о неполноте
ключевой = Теория доказательств
ключевой = Устранения сечения
ключевой = Теоремы Эрбана
ключевой = Прямое доказательство
ключевой = Теории конечного типа
ключевой = Аспекты конструктивной математики
ключевой = Логика топосов
ключевой = Бестиповое исчисление
ключевой = Арифметика Пеано
ключевой = Теорема непрерывности
ключевой = Теорема Эрбана
ключевой = Ступенчатая семантика Маркова
ключевой = Мажорантная семантика Шанина
ключевой = Конструктивное отображение квадрата