TY - BOOK AU - Berka,Karel AU - Ackermann,W. AU - Becker,O. AU - Berka,Karel AU - Bernays,P. AU - Beth,E.W. AU - Bolzano,B. AU - Boole,G. AU - Finsler,P. AU - Frege,G. AU - Gentzen,G. AU - Gottwald ,Siegfried AU - Greiling,K. AU - Gödel,K. AU - Henkin,L. AU - Heyting,A. AU - Hilbert,D. AU - Jungius,J. AU - Kolmogoroff,A. AU - Kreiser,Lothar AU - Kripke,S.A. AU - Leibniz,G.W. AU - Lorenzen,P. AU - McKinsey,J.C.C. AU - Mostowski,A. AU - Nelson,L. AU - Parry,W.T. AU - Peirce,ChS. AU - Post,E.L. AU - Russell,B. AU - Schröder,E. AU - Schröter,K. AU - Schönfinbel,M. AU - Schönfinkel,M. AU - Stelzner,Werner AU - Tarski,A. AU - Wajsberg,M. AU - Whitehead,A.N. AU - Wright,G.H.v AU - Łukasiewicz,J. TI - Logik-Texte: Kommentierte Auswahl zur Geschichte der modernen Logik SN - 9783112645819 AV - BC38 .B475 2022 U1 - 164 PY - 2022///] CY - Berlin, Boston PB - De Gruyter KW - Logic, Modern 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 --; 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; restricted access; Issued also in print UR - https://doi.org/10.1515/9783112645826 UR - https://www.degruyter.com/isbn/9783112645826 UR - https://www.degruyter.com/document/cover/isbn/9783112645826/original ER -