Huth, M., & Ryan, M. (2004). Logic in computer science: Modelling and reasoning about systems (2nd ed.). Cambridge University Press.
Citação do estilo Chicago (17ª ed.)Huth, Michael, e Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. 2nd ed. Cambridge [U.K.]: Cambridge University Press, 2004.
Citação MLA (9ª ed.)Huth, Michael, e Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. 2nd ed. Cambridge University Press, 2004.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.