Abramsky, S., Gabbay, D. M., & Maibaum, T. S. E. (1994). 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, 1994.
Cita MLA (9a ed.)Abramsky, Samson, et al. Handbook of Logic in Computer Science. Clarendon, 1994.
Precaución: Estas citas no son 100% exactas.