APA (7th ed.) Citation

Dov M. Gabbay & T.S.E. Maibaum. (1995). Handbook of logic in computer science. Clarendon.

Chicago Style (17th ed.) Citation

Dov M. Gabbay and T.S.E. Maibaum. Handbook of Logic in Computer Science. Oxford: Clarendon, 1995.

MLA (9th ed.) Citation

Dov M. Gabbay and T.S.E. Maibaum. Handbook of Logic in Computer Science. Clarendon, 1995.