The use of abstract language in elementary metamathematics: Some pedagogic examples

This publication has 15 references indexed in Scilit:

• On an extremely restricted ω-rule
  Fundamenta Mathematicae, 1975
• Note on the fan theorem
  The Journal of Symbolic Logic, 1974
• Mehrsortige logische Systeme mit unendlich langen Formeln I
  Archive for Mathematical Logic, 1971
• The Collected Papers of Gerhard Gentzen
  The Journal of Philosophy, 1971
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
  Mathematical Logic Quarterly, 1968
• Simple type theory of Gentzen style with the inference of extensionality
  Proceedings of the Japan Academy, Series A, Mathematical Sciences, 1968
• Lectures on proof theory
  Published by Springer Nature ,1968
• Continuous Model Theory. (AM-58)
  Published by Walter de Gruyter GmbH ,1966
• False lemmas in Herbrand
  Bulletin of the American Mathematical Society, 1963
• Die Widerspruchsfreiheit der allgemeinen Mengenlehre
  Mathematische Annalen, 1937