Title :
Handbook of logic in computer science
Author Statement :
edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
Publication :
Clarendon Press
Collation :
v. <1-2 >: ill.; 25 cm
Contents :
v. 1. Background, mathematical structure -- v. 2. Background, computational structure
Subject :
Computer science,Logic, Symbolic and mathematical
ADDED ENTRIES :
Abramsky, Samson, 1953-
Holding Info. :
0198537352
Biblography :
Includes bibliographical references and indexes
