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
Ebert, Theodor: Dialektiker und frühe Stoiker bei Sextus Empiricus
: Untersuchungen zur Entstehung der Aussagenlogik / Theodor Ebert. - Göttingen : Vandenhoeck und Ruprecht, 1991. - 347 S.; 24 cm - (Hypomnemata; H. 95)
ISBN 978-3-525-25194-2 / 3-525-25194-7 kart. : DM 85.00
Literaturverz. S. 329 - 335
Quelle: DNB
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
Mathematisch-strukturelle Grundlagen der Informatik
/ H. Ehrig .... - Berlin : Springer, 1999. - XIX, 534 S. : graph. Darst.; 24 cm - (Springer-Lehrbuch)
ISBN 978-3-540-63865-0 / 3-540-63865-2 kart. : DM 59.00, sfr 54.00, S 431.00
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
Landscheid, Ulf: Sätze über den Satz
: eine Theorie der Satzbedeutung und ihre Anwendung auf die Logik / Ulf Landscheid. - Frankfurt am Main : Lang, 1997. - 211 S.; 21 cm - (Studia philosophica et historica; Bd. 22)
ISBN 978-3-631-32039-6 / 3-631-32039-6 kart. : ca. 69.00
Literaturverz. S. 201 - 203
Quelle: DNB
