Handbook of logic in computer science - Dov M. Gabbay; T.S.E. Maibaum (Oxford Clarendon, 1995)
Keywords: Computer Science; Logic, Symbolic and mathematical