The formalization of Bishop's constructive mathematics
- 1 January 1972
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Springer Texts in Business and Economics
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 BV ,1968
- Constructive ReasoningPublished by Elsevier BV ,1968
- Intensional interpretations of functionals of finite type IThe Journal of Symbolic Logic, 1967
- Informal Rigour and Completeness ProofsPublished by Elsevier BV ,1967
- Intuitionistic analysis and G\"odel's interpretationJournal of the Mathematical Society of Japan, 1963