Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (5 chapters)
Keywords
Authors and Affiliations
Bibliographic Information
Book Title: Logik für Informatiker
Book Subtitle: Eine Einführung
Authors: Bernhard Heinemann, Klaus Weihrauch
Series Title: Leitfäden und Monographien der Informatik
DOI: https://doi.org/10.1007/978-3-322-80138-8
Publisher: Vieweg+Teubner Verlag Wiesbaden
-
eBook Packages: Springer Book Archive
Copyright Information: B. G. Teubner Stuttgart 1991
Softcover ISBN: 978-3-519-12248-7Published: 01 September 1992
eBook ISBN: 978-3-322-80138-8Published: 07 March 2013
Edition Number: 2
Number of Pages: VIII, 240
Topics: Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Computer Science, general