APA (7th ed.) Citation

Krantz, S. G. (2002). Handbook of Logic and Proof Techniques for Computer Science (1st ed. 2002.). Birkhäuser Boston. https://doi.org/10.1007/978-1-4612-0115-1

Chicago Style (17th ed.) Citation

Krantz, Steven G. Handbook of Logic and Proof Techniques for Computer Science. 1st ed. 2002. Boston, MA: Birkhäuser Boston, 2002. https://doi.org/10.1007/978-1-4612-0115-1.

MLA (9th ed.) Citation

Krantz, Steven G. Handbook of Logic and Proof Techniques for Computer Science. 1st ed. 2002. Birkhäuser Boston, 2002. https://doi.org/10.1007/978-1-4612-0115-1.