Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (13 chapters)
-
Einführung
-
Aussagenlogik
-
Offene Prädikatenlogik
-
Prädikatenlogik
Keywords
Bibliographic Information
Book Title: Formalisieren und Beweisen
Book Subtitle: Logik für Informatiker
Authors: Dirk Siefkes
Series Title: Lehrbuch Informatik
DOI: https://doi.org/10.1007/978-3-322-85621-0
Publisher: Vieweg+Teubner Verlag Wiesbaden
-
eBook Packages: Springer Book Archive
Copyright Information: Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig 1990
Softcover ISBN: 978-3-528-04757-3Published: 01 January 1990
eBook ISBN: 978-3-322-85621-0Published: 08 March 2013
Edition Number: 1
Number of Pages: XIII, 262
Topics: Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Computer Science, general