The formalization of Bishop's constructive mathematics
- 1 January 1972
- book chapter
- Published by Springer Nature in Lecture Notes in Mathematics
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Embedding classical type theory in “intuitionistic” type theoryProceedings of Symposia in Pure Mathematics, 1971
- The Theory of Choice SequencesPublished by Elsevier ,1968
- Constructive ReasoningPublished by Elsevier ,1968
- Intensional interpretations of functionals of finite type IThe Journal of Symbolic Logic, 1967
- Informal Rigour and Completeness ProofsPublished by Elsevier ,1967
- Intuitionistic analysis and G\"odel's interpretationJournal of the Mathematical Society of Japan, 1963