APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Huth, Michael, and Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. Cambridge: Cambridge University Press, 2004.

MLA (8th ed.) Citation

Huth, Michael, and Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. Cambridge University Press, 2004.

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