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