Abramsky, S., Gabbay, D. M., & Maibaum, T. (1999). HANDBOOK of logic in computer science. Clarendon Press.
Cita Chicago Style (17a ed.)Abramsky, S., Dov M. Gabbay, y T.S.E Maibaum. HANDBOOK of Logic in Computer Science. Oxford: Clarendon Press, 1999.
Cita MLA (8a ed.)Abramsky, S., et al. HANDBOOK of Logic in Computer Science. Clarendon Press, 1999.
Precaución: Estas citas no son 100% exactas.