Completeness theory for propositional logics / Witold A. Pogorzelski; Piotr Wojtylak

Pogorzelski, Witold A. ; Wojtylak, Piotr

Englisch

Basel ; Berlin [u.a.] : Birkhäuser, 2008

VIII, 178 S. : graph. Darst. ; 240 mm x 170 mm

Online-Ausg.: Completeness Theory for Propositional Logics. - Basel : Birkhäuser Basel, 2008. - Online-Ressource (digital)

Erscheint auch als: Online-Ausgabe- Completeness Theory for Propositional Logics.. - Basel : Birkhäuser Boston, 2008. - 1 online resource (186 pages)

3-7643-8517-0 Pb. : EUR 53.39 (freier Pr.)

978-3-7643-8517-0 : Pb. : EUR 53.39 (freier Pr.)

Weitere Ausgaben: 978-3-7643-8518-7 (Fernzugriff)

9783764385170

*Aussagenlogik / Vollständigkeit

*Aussagenlogik

*Completeness theorem

*Completeness theorem

Klassifikation der Library of Congress: QA9.67

Dewey Dezimal-Klassifikation: 511.3

Dewey Dezimal-Klassifikation: 511.3

Regensburger Verbund-Klassifikation: SK 130: Logik und Grundlagen, Metamathematik,

Mathematics Subject Classification: *03-02

Mathematics Subject Classification: 03B05

Mathematics Subject Classification: 03B20

Mathematics Subject Classification: 03B22

Mathematics Subject Classification: 03B45

Mathematics Subject Classification: 03B50

Mathematics Subject Classification: 03G10

Mathematics Subject Classification: 03G25

https://zbmath.org/?q=an:1143.03001 [Zentralblatt MATH]

Potsdamer Straße