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
About this book
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-91769-0
Publisher: Vieweg+Teubner Verlag Wiesbaden
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Fachmedien Wiesbaden 1992
Softcover ISBN: 978-3-528-14757-0Published: 01 January 1992
eBook ISBN: 978-3-322-91769-0Published: 22 November 2013
Edition Number: 2
Number of Pages: 259
Number of Illustrations: 8 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Logic Design, Computer Science, general