APA (7th ed.) Citation

(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.

Chicago Style (17th ed.) Citation

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.

MLA (9th ed.) Citation

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.