Title: On Constructive Interpretation of Predictive Mathematics (1990)
Subjects: Number theory, Proof theory, Mathematics, Philosophy, Théorie de la preuve, Théorie des nombres, Mathématiques, Philosophie, MATHEMATICS / Algebra / Intermediate