APA (7th ed.) Citation

Huth, M., & Ryan, M. (2001). Logic in computer science: Modelling and reasoning about systems (Reprinted with corr.). Cambridge Univ. Press.

Chicago Style (17th ed.) Citation

Huth, Michael, and Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. Reprinted with corr. Cambridge [u.a.]: Cambridge Univ. Press, 2001.

MLA (9th ed.) Citation

Huth, Michael, and Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. Reprinted with corr. Cambridge Univ. Press, 2001.