Constructive Theories of Functions and Classes

This publication has 11 references indexed in Scilit:

• Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
  Annals of Mathematical Logic, 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
• On recursively saturated models of arithmetic
  Published by Springer Nature ,1975
• The formalization of Bishop's constructive mathematics
  Lecture Notes in Mathematics, 1972
• Ideas and Results in Proof Theory
  Published by Elsevier ,1971
• Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions
  Published by Elsevier ,1971
• Constructive validity
  Published by Springer Nature ,1970
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
  Dialectica, 1958