Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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