Dov M. Gabbay & T.S.E. Maibaum. (1995). Handbook of logic in computer science. Clarendon.
Chicago Style (17th ed.) CitationDov M. Gabbay and T.S.E. Maibaum. Handbook of Logic in Computer Science. Oxford: Clarendon, 1995.
MLA (9th ed.) CitationDov M. Gabbay and T.S.E. Maibaum. Handbook of Logic in Computer Science. Clarendon, 1995.
Warning: These citations may not always be 100% accurate.