Prädikatenlogik mit partiell definierten Funktionen

This publication has 7 references indexed in Scilit:

• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
  Archive for Mathematical Logic, 1969
• Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
  Published by Springer Nature ,1961
• 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
• Die Widerspruchsfreiheit der reinen Zahlentheorie
  Mathematische Annalen, 1936
• A note on the Entscheidungsproblem
  The Journal of Symbolic Logic, 1936
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
  Monatshefte für Mathematik, 1931
• Die Vollständigkeit der Axiome des logischen Funktionenkalküls
  Monatshefte für Mathematik, 1930