Cita APA (7a ed.)

(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 Chicago Style (17a 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 MLA (9a 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.