Notes on intuitionistic second order arithmetic

This publication has 8 references indexed in Scilit:

• Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types
  Published by Elsevier ,1971
• A Normalform in First Order Arithmetic
  Studies in Logic and the Foundations of Mathematics, 1971
• Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
  Published by Elsevier ,1971
• On Cut Elimination in Intuitionistic Systems of Analysis
  Published by Elsevier ,1970
• Formal systems for some branches of intuitionistic analysis
  Annals of Mathematical Logic, 1970
• Disjunction and existence under implication in elementary intuitionistic formalisms
  The Journal of Symbolic Logic, 1962
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
  Dialectica, 1958
• On the interpretation of intuitionistic number theory
  The Journal of Symbolic Logic, 1945