TY - BOOK AU - Berka,Karel AU - Kreiser,Lothar AU - Tarski,A. TI - Logik-Texte Kommentierte Auswahl zur Geschichte der modernen Logik SN - 9783112611296 U1 - 164 PY - 2022///] CY - Berlin, Boston PB - De Gruyter KW - Geschichte KW - Logik KW - Logikkalküle KW - Logikphilosophie KW - Logiktheorie KW - Philosophie KW - Schlussfolgerungen KW - Sprache KW - PHILOSOPHY / Logic KW - bisacsh N1 - Frontmatter --; Inhaltsverzeichnis --; Einleitung --; I. Die Vorläufer der modernen 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 --; Literaturverzeichnis --; Personenregister --; Stichwortverzeichnis --; Verzeichnis logischer Symbole --; Anhang --; Der Wahrheitsbegriff in den formalisierten Sprachen; restricted access; Issued also in print UR - https://doi.org/10.1515/9783112611302 UR - https://www.degruyter.com/isbn/9783112611302 UR - https://www.degruyter.com/document/cover/isbn/9783112611302/original ER -