Wolff, Michael: Abhandlung über die Prinzipien der Logik
: eine Verteidigung des logischen Monismus / Michael Wolff. - 3., überarbeitete Auflage - Frankfurt am Main : Vittorio Klostermann, 2023. - XXI, 454 Seiten; 24 cm, 715 g - (Philosophische Abhandlungen; Band 121)
ISBN 978-3-465-04615-8 / 3-465-04615-3 Broschur : EUR 98.00 (DE), EUR 100.80 (AT)
Quelle: DNB
Analyse, Rekonstruktion, Kritik
: logisch-philosophische Abhandlungen / Jochen Lechner (Hrsg.). - Frankfurt am Main : Lang, 1998. - X, 296 S.; 21 cm - (Studia philosophica et historica; Bd. 23)
ISBN 978-3-631-31469-2 / 3-631-31469-8 kart. : DM 65.00 (freier Pr.)
Literaturangaben
Quelle: DNB
Peano, Giuseppe: Arbeiten zur Analysis und zur mathematischen Logik
/ G. Peano. Hrsg. u. mit e. Nachw. vers. von G. Asser. - 1. Aufl. - Leipzig : BSB Teubner, 1989. - 144 S. : Ill.; 22 cm - (Teubner-Archiv zur Mathematik; 13)
ISBN 978-3-211-95846-9 / 3-211-95846-0 Pr. nicht mitget.
Literaturverz. S. 140 - 142
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
Conditionals, information, and inference
: international workshop ; revised selected papers / WCII 2002, Hagen, Germany, May 13 - 15, 2002. Gabriele Kern-Isberner ... (ed.). - Berlin : Springer, 2005. - XII, 218 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3301 : Lecture notes in artificial intelligence)
ISBN 978-3-540-25332-7 / 3-540-25332-7 kart.
Literaturangaben
Quelle: DNB
Kroening, Daniel: Decision procedures
: an algorithmic point of view / Daniel Kroening ; Ofer Strichman. Foreword by Randal E. Bryant. - Berlin : Springer, 2008. - XVI, 304 S. : graph. Darst.; 24 cm - (Texts in theoretical computer science)
ISBN 978-3-540-74104-6 Pp. : EUR 53.45 (freier Pr.), ca. sfr 113.50 (freier Pr.)
Literaturverz. S. 285 - 297
Quelle: DNB Verlagsmeldungen
Decision procedures
: an algorithmic point of view / Daniel Kroening .... - Berlin : Springer, 2008. - Online-Ressource - (Texts in theoretical computer science)
ISBN 978-3-540-74105-3
Lizenzpflichtig
Quelle: DNB
Declarative agent languages and techniques
: first international workshop ; revised selected and invited papers / DALT 2003, Melbourne, Australia, July 15, 2003. João Leite ... (ed.). - Berlin : Springer, 2004. - XII, 279 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2990 : Lecture notes in artificial intelligence : Hot topics)
ISBN 978-3-540-22124-1 / 3-540-22124-7 kart. : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Declarative agent languages and technologies II
: second international workshop ; revised selected papers / DALT 2004, New York, NY, USA, July 19, 2004. João Leite ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3476 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31927-6
Lizenzpflichtig
Quelle: DNB
Menne, Albert: Einführung in die formale Logik
: eine Orientierung über die Lehre von der Folgerichtigkeit, ihre Geschichte, Strukturen und Anwendungen / Albert Menne. - 2., unveränd. Aufl. - Darmstadt : Wiss. Buchges., [Abt. Verl.], 1991. - X, 192 S.; 22 cm - (Die Philosophie)
ISBN 978-3-534-05203-5 / 3-534-05203-X kart. : DM 29.00
Literaturverz. S. 157 - 166
Quelle: DNB
