Handbook of logic in computer science /
Abramsky, Samson,1953-
Gabbay, Dov M.,1945-
Maibaum, Thomas S. E.,1947-
Oxford : Clarendon Press,
1992-
v. 1. Background: mathematical structures -- v. 2. Background: computational structures -- v. 3. Semantic structures -- v. 4. Semantic modelling -- v. 5. Logic and algebraic methods.
Computer science.
Logic, Symbolic and mathematical.