Handbook of logic in computer science /
edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.
imprint
Oxford : Clarendon Press, 1992-
description
6 v. : ill.
ISBN
0198537352 (v. 1) 0198537611 (v. 2) :, 019853762X (v. 3) 0198537808 (v. 4) 0198537816 (v. 5)
format(s)
Book
Holdings
More Details
imprint
Oxford : Clarendon Press, 1992-
isbn
0198537352 (v. 1) 0198537611 (v. 2) :
019853762X (v. 3) 0198537808 (v. 4) 0198537816 (v. 5)
restrictions
Online version licensed for access by U. of T. users.
contents note
v. 1. Background : mathematical structures -- v. 2. Background, computational structures -- v. 3. Semantic structures -- v. 4. Semantic modelling -- v. 5. Logic and algebraic methods -- v. 6. Logical methods in computer science.
catalogue key
3191579

  link to old catalogue

Report a problem