Overview
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (14 chapters)
Reviews
"This is really what it promises to be—a good handbook: supple, self-contained, providing the necessary and sufficient working resources . . . it is more than [one] expect[s]: the rigor of usefulness and conciseness exceeds or equals . . . the pleasure of reading it."
—Zentralblatt Math
Authors and Affiliations
Bibliographic Information
Book Title: Handbook of Logic and Proof Techniques for Computer Science
Authors: Steven G. Krantz
DOI: https://doi.org/10.1007/978-1-4612-0115-1
Publisher: Birkhäuser Boston, MA
-
eBook Packages: Springer Book Archive
Copyright Information: Birkhäuser Boston 2002
Hardcover ISBN: 978-0-8176-4220-4Published: 17 January 2002
Softcover ISBN: 978-1-4612-6619-8Published: 23 October 2012
eBook ISBN: 978-1-4612-0115-1Published: 06 December 2012
Edition Number: 1
Number of Pages: XIX, 245
Topics: Mathematics of Computing, Software Engineering/Programming and Operating Systems, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Math Applications in Computer Science, Applications of Mathematics