APA Edition Citation

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

Chicago Edition Citation

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

MLA Edition Citation

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

Warning: These citations may not always be 100% accurate.