Between constructive and classical mathematics
- 1 January 1984
- book chapter
- Published by Springer Nature
- p. 143-162
- https://doi.org/10.1007/bfb0099484
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operatorsAdvances in Mathematics, 1983
- Extracting Lisp Programs from Constructive Extracting Lisp Programs from Constructive Mathematics Based on LispPublications of the Research Institute for Mathematical Sciences, 1983
- On some open problems in constructive probability theoryPublished by Springer Nature ,1981
- Aspects of Constructive MathematicsPublished by Elsevier ,1977
- A language and axioms for explicit mathematicsPublished by Springer Nature ,1975
- Formal systems for some branches of intuitionistic analysisAnnals of Mathematical Logic, 1970