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. Ein neuer “Strukturtyp” von Logikbuch?. Erkenntnis 27, 113–145 (1987). https://doi.org/10.1007/BF00697673
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00697673