Handbook of logic in computer science (Oxford Clarendon Press, 1995)
v. 1. Background, mathematical structure -- v. 2. Background, computational structure -- v. 3. Semantic structures -- v. 4. Semantic modelling.
Keywords: Computer science; Logic, Symbolic and mathematical