APA Edition Citation

Huth, M., & Ryan, M. (2005). Logic in computer science: Modelling and reasoning about systems.

Chicago Edition Citation

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

MLA Edition Citation

Huth, Michael, and Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. 2005.

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