Huth, M., & Ryan, M. (2004). Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan: Modelling and reasoning about systems (2nd ed.). Cambridge University Press.
Chicago Edition CitationHuth, Michael, and Mark Ryan. Logic in Computer Science : Modelling and Reasoning About Systems / Michael Huth and Mark Ryan: Modelling and Reasoning About Systems. 2nd ed. Cambridge: Cambridge University Press, 2004.
MLA Edition CitationHuth, Michael, and Mark Ryan. Logic in Computer Science : Modelling and Reasoning About Systems / Michael Huth and Mark Ryan: Modelling and Reasoning About Systems. 2nd ed. Cambridge University Press, 2004.
Warning: These citations may not always be 100% accurate.