Logik-Texte : : Kommentierte Auswahl zur Geschichte der modernen Logik / / Karel Berka, Lothar Kreiser.

• VerfasserIn: Berka, Karel,; Kreiser, Lothar,
• MitwirkendeR: Ackermann, W.,; Becker, O.,; Berka, Karel,; Bernays, P.,; Beth, E. W.,; Bolzano, B.,; Boole, G.,; Finsler, P.,; Frege, G.,; Gentzen, G.,; Gottwald , Siegfried,; Greiling, K.,; Gödel, K.,; Henkin, L.,; Heyting, A.,; Hilbert, D.,; Jungius, J.,; Kolmogoroff, A.,; Kreiser, Lothar,; Kripke, S. A.,; Leibniz, G. W.,; Lorenzen, P.,; McKinsey, J. C. C.,; Mostowski, A.,; Nelson, L.,; Parry, W. T.,; Peirce, Ch. S.,; Post, E. L.,; Russell, B.,; Schröder, E.,; Schröter, K.,; Schönfinbel, M.,; Schönfinkel, M.,; Stelzner, Werner,; Tarski, A.,; Wajsberg, M.,; Whitehead, A. N.,; Wright, G. H. v.,; Łukasiewicz, J.,
• Place / Publishing House: Berlin ;, Boston : : De Gruyter, , [2022]; ©1986
• Year of Publication: 2022
• Edition: 4., gegenüber d. 3, erw., durchgeseh. Aufl., Reprint 2022
• Language: German
• Physical Description: 1 online resource (656 p.)

Table of Contents

• Frontmatter
• Inhaltsverzeichnis
• Vorwort zur 3. Auflage
• Vorwort zur 4. Auflage
• Einleitung
• I Zur Geschichte der Logik
• II Die Algebra der Logik
• III Klassische Logik
• IV Mehrwertige Logik
• V Modale Logik
• VI Intuitionistische Logik
• VII Regellogik
• VIII Kombinatorische Logik
• IX Widerspruchsfreiheit — Vollständigkeit — Unabhängigkeit
• X Das Entscheidungsproblem
• XI Antinomien
• XII Syntax — Semantik
• Anhang
• Der Wahrheitsbegriff in den formalisierten Sprachen
• Literaturverzeichnis
• Personenregister
• Stichwortverzeichnis
• Verzeichnis logischer Symbole