Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik

This publication has 3 references indexed in Scilit:

• Foundations of Mathematical Logic
  The Mathematical Gazette, 1964
• Einführung in die Operative Logik und Mathematik
  Published by Springer Nature ,1955
• Untersuchungen ber das logische Schlie en. I
  Mathematische Zeitschrift, 1935