(2000). Handbook of logic in computer science. edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. [electronic resource] / Volume 5, Logic and algebraic methods.
Citação do estilo Chicago (17ª ed.)Handbook of Logic in Computer Science. Edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; Volume Co-ordinator, Dov M. Gabbay. [electronic Resource] / Volume 5, Logic and Algebraic Methods. 2000.
Citação MLA (9ª ed.)Handbook of Logic in Computer Science. Edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; Volume Co-ordinator, Dov M. Gabbay. [electronic Resource] / Volume 5, Logic and Algebraic Methods. 2000.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.