Dialogspiele als Semantische Grundlage von Logikkalkülen

This publication has 8 references indexed in Scilit:

• Foundations of Mathematical Logic
  The Mathematical Gazette, 1964
• Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz.
  Notre Dame Journal of Formal Logic, 1964
• The Foundations of Mathematics. By E. W. Beth. Pp. 741. 100s. 1959. (North Holland Publishing Co., Amsterdam)
  The Mathematical Gazette, 1962
• Logik und Agon
  Published by Philosophy Documentation Center ,1960
• The Symbolising of Natural Deduction
  Analysis, 1959
• The Rules of Natural Deduction
  Analysis, 1958
• Introduction to Metamathematics. By S. C. Kleene. Pp. x, 550, Fl. 32.50. 1952. (Noordhoff, Groningen; North-Holland Publishing Co., Amsterdam)
  The Mathematical Gazette, 1954
• Proof of the independence of the primitive symbols of Heyting's calculus of propositions
  The Journal of Symbolic Logic, 1939