Formalizing constructive mathematics: Why and how?

This publication has 9 references indexed in Scilit:

• Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
  Annals of Mathematical Logic, 1977
• A note on non-extensional operations in connection with continuity and recursiveness
  Indagationes Mathematicae, 1977
• Set Theoretic Foundations for Constructive Analysis
  Annals of Mathematics, 1977
• Constructive set theory
  The Journal of Symbolic Logic, 1975
• A language and axioms for explicit mathematics
  Published by Springer Nature ,1975
• Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
  Published by Springer Nature ,1973
• Constructive measure theory
  Memoirs of the American Mathematical Society, 1972
• Principles of Intuitionism
  Lecture Notes in Mathematics, 1969
• Theory of Formal Systems. (AM-47)
  Published by Walter de Gruyter GmbH ,1961