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.)
• Other title: 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
• Format: Mode of access: Internet via World Wide Web.
• ISBN: 9783112645826
• DOI: 10.1515/9783112645826
• Access: restricted access
• Hierarchical level: Monograph
• Statement of Responsibility: Karel Berka, Lothar Kreiser.