Aspects of Constructive Mathematics

This publication has 23 references indexed in Scilit:

• The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
  The Journal of Symbolic Logic, 1975
• Note on the fan theorem
  The Journal of Symbolic Logic, 1974
• Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
  Archive for Mathematical Logic, 1974
• Elementary intuitionistic theories
  The Journal of Symbolic Logic, 1973
• Which number theoretic problems can be solved in recursive progressions on Π₁¹-paths through O?
  The Journal of Symbolic Logic, 1972
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
  The Journal of Symbolic Logic, 1966
• An addendum
  The Journal of Symbolic Logic, 1963
• Disjunction and existence under implication in elementary intuitionistic formalisms
  The Journal of Symbolic Logic, 1962
• Points and Spaces
  Canadian Journal of Mathematics, 1954
• Die intuitionistische Grundlegung der Mathematik
  Erkenntnis, 1931