Kleine Büning, Hans: Aussagenlogik
: Deduktion und Algorithmen / Hans Kleine Büning ; Theodor Lettmann. - Stuttgart : Teubner, 1994. - X, 438 S.; 23 cm - (Leitfäden und Monographien der Informatik)
ISBN 978-3-519-02133-9 / 3-519-02133-1 kart. : DM 54.00, sfr 54.00, S 421.00
Quelle: DNB
Freund, Helmut: Aussagenlogik und Beweisverfahren
/ von H. Freund u. P. Sorger. - Zürich : Orell Füssli, 1975. - 136 S. : 108 Ill.; 21 cm - (Mathematik für die Lehrerausbildung)
ISBN 978-3-280-00761-7 / 3-280-00761-5 sfr 19.00
Lizenz
Quelle: DNB
Riel, Raphael van: Aussagen- und Prädikatenlogik
: eine Einführung / Raphael van Riel/Gottfried Vosgerau. - [1. Auflage] - Stuttgart : J.B. Metzler Verlag, 2018. - IX, 182 Seiten : Illustrationen; 24 cm, 299 g - (Lehrbuch)
ISBN 978-3-476-04564-5 / 3-476-04564-1 Broschur : EUR 19.99 (DE), EUR 20.55 (AT), CHF 21.00 (freier Preis)
Quelle: DNB
Completeness theory for propositional logics
/ Witold A. Pogorzelski .... - Basel : Birkhäuser, 2008. - Online-Ressource - (Studies in universal logic)
ISBN 978-3-7643-8518-7
Lizenzpflichtig
Quelle: DNB
Pogorzelski, Witold A.: Completeness theory for propositional logics
/ Witold A. Pogorzelski ; Piotr Wojtylak. - Basel : Birkhäuser, 2008. - VIII, 178 S.; 24 cm - (Studies in universal logic)
ISBN 978-3-7643-8517-0 / 3-7643-8517-0 kart. : EUR 53.39, sfr 85.00 (freier Pr.)
Literaturverz. S. 165 - 174
Quelle: DNB Verlagsmeldungen
Font, Josep Maria: A general algebraic semantics for sentenial [sentential] logics
/ Josep Maria Font ; Ramon Jansana. - Berlin : Springer, 1996. - VI, 135 S.; 24 cm - (Lecture notes in logic; 7)
ISBN 978-3-540-61699-3 / 3-540-61699-3 kart. : DM 64.00
Literaturverz. S. 119 - 126
Quelle: DNB
Liu, Weiru: Propositional, probabilistic and evidential reasoning
: integrating numerical and symbolic approaches ; with 35 tables / Weiru Liu. - Heidelberg : Physica-Verl., 2001. - XIV, 274 S.; 24 cm - (Studies in fuzziness and soft computing; Vol. 77)
ISBN 978-3-7908-1414-9 / 3-7908-1414-8 Pp.
Literaturverz. S. 245 - 264
Quelle: DNB
Jarmużek, Tomasz: Tableau methods for propositional logic and term logic
/ Tomasz Jarmużek ; translated by Sławomir Jaskólski. - Berlin : Peter Lang, 2020. - 225 Seiten; 22 cm, 369 g - (Polish contemporary philosophy and philosophical humanities; volume 20)
ISBN 978-3-631-83372-8 / 3-631-83372-5 Festeinband : EUR 59.95 (DE), EUR 60.00 (AT), CHF 71.00 (freier Preis)
Quelle: DNB