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