Literatur
G.Boolos: 1979, The Unprovability of Consistency—an Essay in Modal Logic, Cambridge University Press, Cambridge.
G.Frege: 1892, ‘Über Sinn und Bedeutung,’ Zeitschrift f. Philosophie und philosoph. Kritik 100, 25–50; wieder abgedruckt in G. Patzig (Hg.), Frege, Funktion, Begriff, Bedeutung, Vandenhoeck & Ruprecht, Göttingen, 19805.
G. Frege: ‘Der Gedanke—eine logische Untersuchung’, Beiträge z. Philosophie d. deutschen Idealismus I (1918/19), 58–77; wieder abgedrukt in G. Patzig (Hg.), Frege, Logische Untersuchungen, Vanderhoeck & Ruprecht, Göttingen, 1966.
K.Gödel: 1931, ‘Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I’, Monatshefte f. Mathematik und Physik 38, 173–198; wieder abgedruckt in K. Berka und L. Kreiser (Hgg.), Logik-Texte—Kommentierte Auswahl zur Geschichte der modernen Logik, Wissenschaftl. Buchgesellschaft, Darmstadt, 1983.
H.Hermes: 1972, Einführung in die mathematische Logik, Teubner-Verlag, Stuttgart.
W.Kamlah und P.Lorenzen: 1967, Logische Propädeutik—Vorschule des vernünftigen Redens, Bibliographisches Institut, Mannheim (Reihe BI-Hochschultaschenbücher, 227–227a).
K.Lorenz: 1968, ‘Dialogspiele als semantische Grundlage von Logikkalkülen’, Archiv f. Mathemat. Logik und Grundlagenforschung 11, 32–55 und 73–100; wieder abgedrukt in (und zitiert nach) P. Lorenzen/K. Lorenz, Dialogische Logik, Wissenschaftl. Buchgesellschaft, Darmstadt 1978.
B.Mates: 1969, Elementare Logik—Prädikatenlogik der ersten Stufe, Vandenhoeck & Ruprecht, Göttingen.
J. D.Monk: 1976, Mathematical Logic, Springer-Verlag, New York, (Reihe Graduate Texts in Mathematics, 37).
K.Schütte: 1960, Beweistheorie, Springer-Verlag, Berlin, (Reihe Grundlehren der mathematischen Wissenschaften in Einzeldarstellunger, 103).
J. R.Shoenfield: 1967, Mathematical Logic, Addison-Wesley, Reading/Mass.
R. M.Smullyan: 1968, First-Order Logic, Springer-Verlag, Berlin, (Reihe Ergebnisse der Mathematik und ihrer Grenzgebiete, 43).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Nortmann, U. Review. Erkenntnis 27, 113–145 (1987). https://doi.org/10.1007/BF00169714
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00169714