APA-Zitierstil (7. Ausg.)

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-Zitierstil (17. Ausg.)

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-Zitierstil (9. Ausg.)

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.