On Constructive Interpretation of Predictive Mathematics (1990)
On Constructive Interpretation of Predictive Mathematics (1990)
Details
- OL Work ID
- OL21299080W
Subjects
Number theoryProof theoryMathematicsPhilosophyThéorie de la preuveThéorie des nombresMathématiquesPhilosophieMATHEMATICS / Algebra / Intermediate