APA Citation

Huth Michael, & Ryan Mark. (2002). Logic in Computer Science: Modelling and Reasoning about Systems (Photo). U.K: Cambridge University Press.

Chicago Style Citation

Huth Michael, and Ryan Mark. Logic in Computer Science: Modelling and Reasoning About Systems (Photo). U.K: Cambridge University Press, 2002.

MLA Citation

Huth Michael, and Ryan Mark. Logic in Computer Science: Modelling and Reasoning About Systems (Photo). U.K: Cambridge University Press, 2002.

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