Cita APA (7a ed.)

Abramsky, S., Gabbay, D. M., & Maibaum, T. S. E. (2000). Handbook of logic in computer science. Clarendon.

Cita Chicago Style (17a ed.)

Abramsky, Samson, Dov M. Gabbay, y Thomas S. E. Maibaum. Handbook of Logic in Computer Science. Oxford: Clarendon, 2000.

Cita MLA (9a ed.)

Abramsky, Samson, et al. Handbook of Logic in Computer Science. Clarendon, 2000.