Основания интуиционистской математики с точки зрения теории рекурсивных функций
Код товара: 58238
Доступность: Нет в наличии
Артикул: 11180192
- 300.00 р.
-
Краткие характеристики
Автор
Клини С., Весли Р.
Год
1978
Город издания
Москва
Издание
Серия: Математическая логика и основания математики.
Издательство
Наука
Количество страниц
272 с.
Переплет
твердый
Состояние
Хорошее. Надрывы суперобложки
Формат
обычный
Детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций. На этой основе устанавливается ряд интересных метаматематических результатов. Одна из глав посвящена изложению средствами разваемой в книге формальной системы брауэровской теории континуума. Для математиков, лиц, интересующихся вопросами построения эффективной математики.
Книга
Автор
Клини С., Весли Р.
Год
1978
Город издания
Москва
Издание
Серия: Математическая логика и основания математики.
Издательство
Наука
Количество страниц
272 с.
Переплет
твердый
Состояние
Хорошее. Надрывы суперобложки
Формат
обычный
Похожие товары
Вариационные методы в топологии
Книга посвящена вопросам современного многомерного вариационного исчисления. Центральное место в ней..
Автор: Фоменко А.Т.
Год: 1982
320.00 р.
О некоторых асимптотических методах в теории дифференциальных уравнений
В монография детально исследуются различные асимптотические свойства решений обыкновенных линейных д..
Автор: Рапопорт И.М.
Год: 1954
630.00 р.
Введение в теорию представлений
Книга основана на курсе лекций, прочитанных автором в Высшем колледже математической физики Независи..
Автор: Желобенко Д.П.
Год: 2001
500.00 р.
Справочник по математике для научных работников и инженеров
`Справочник` содержит сведения по большинству областей математики, которые могут понадобиться научно..
Автор: Корн Г., Корн Т.
Год: 1970
250.00 р.