Elementary Predicate Logic

This publication has 71 references indexed in Scilit:

• Models and reality
  The Journal of Symbolic Logic, 1980
• Frege on Demonstratives
  The Philosophical Review, 1977
• Ein System des Verknüpfenden Schliessens
  Archive for Mathematical Logic, 1956
• Ein Gültigkeitskriterium für die Sätze der klassischen Mathematik
  Monatshefte für Mathematik, 1935
• Untersuchungen ber das logische Schlie en. I
  Mathematische Zeitschrift, 1935
• Ü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
• Die grundlagen der mathematik
  Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg, 1928
• Über das Unendliche
  Mathematische Annalen, 1926
• Eine Axiomatisierung der Mengenlehre.
  Journal für die reine und angewandte Mathematik (Crelles Journal), 1925