Математический интуиционизм. Введение в теорию доказательств (книга)
| Математический интуиционизм. Введение в теорию доказательств | |
| Автор: | А. Г. Драгалин |
|---|---|
| Оригинал издан: | 1979 |
| Серия: | Математическая логика и основания математики |
«Математический интуиционизм. Введение в теорию доказательств» — книга 1979 года.
Содержание |
Содержание 
От издателя
«В монографии приводится обзор различных концепций интуиционистской математики, обсуждаются приложения интуиционизма к проблемам оснований математики. Изложение характеризуется высоким уровнем строгости, основные теории описываются в виде формальных…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
