Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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.

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