Gaya APA

Huth, M., Ryan, M. (2004). Logic in Computer Science : Modelling and Reasoning About Systems . : Cambridge University Press.

Gaya MLA

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