APA (7th ed.) Citation

Krantz, S. G. (2002). Handbook of logic and proof techniques for computer science. Birkhauser.

Chicago Style (17th ed.) Citation

Krantz, Steven G. Handbook of Logic and Proof Techniques for Computer Science. Boston: Birkhauser, 2002.

MLA (9th ed.) Citation

Krantz, Steven G. Handbook of Logic and Proof Techniques for Computer Science. Birkhauser, 2002.