Lectures on intuitionism

This publication has 18 references indexed in Scilit:

• Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions
  Published by Elsevier ,1971
• Independence problems in subsystems of intuitionistic arithmetic
  Indagationes Mathematicae, 1971
• Formal systems for some branches of intuitionistic analysis
  Annals of Mathematical Logic, 1970
• Semantical Analysis of Intuitionistic Logic I
  Published by Elsevier ,1965
• A Philosophically Plausible Formal Interpretation of Intuitionistic Logic
  Indagationes Mathematicae, 1964
• On disjunctions and existential statements in intuitionistic systems of logic
  Mathematische Annalen, 1956
• Points and Spaces
  Canadian Journal of Mathematics, 1954
• Zur Deutung der intuitionistischen Logik
  Mathematische Zeitschrift, 1932
• Die intuitionistische Grundlegung der Mathematik
  Erkenntnis, 1931
• Zur Begr ndung der intuitionistischen Mathematik. I.
  Mathematische Annalen, 1925