> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Completeness theory for propositional logics Beteiligte: Pogorzelski, Witold A. [VerfasserIn]; Wojtylak, Piotr [VerfasserIn] Erschienen: Basel; Berlin [u.a.]: Birkhäuser, 2008 Erschienen in: Studies in universal logic Umfang: VIII, 178 S.; graph. Darst; 240 mm x 170 mm Sprache: Englisch ISBN: 3764385170; 9783764385170 Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 12074907 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Aussagenlogik > Vollständigkeit Aussagenlogik Entstehung: Anmerkungen: