APA-Zitierstil (7. Ausg.)

Huth, M., & Ryan, M. (2004). Logic in computer science: Modelling and reasoning about systems (2. ed.). Cambridge Univ. Press.

Chicago-Zitierstil (17. Ausg.)

Huth, Michael, und Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. 2. ed. Cambridge [u.a.]: Cambridge Univ. Press, 2004.

MLA-Zitierstil (9. Ausg.)

Huth, Michael, und Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. 2. ed. Cambridge Univ. Press, 2004.