Cover Image

Handbook of logic in computer science /

Bibliographic Details
Other Authors: Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-
Format: Book
Language:English
Published: Oxford : New York : Clarendon Press ; Oxford University Press, 1992-<2000>
Subjects:
Computer science.
Logic, Symbolic and mathematical.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76 .H2785 1992
Library Owns: QA76 .H2785 1992 (v.1,v.3-v.5)
Call Number Status Get It
QA76 .H2785 1992 v.1 Available
QA76 .H2785 1992 v.3 Available
QA76 .H2785 1992 v.4 Available
QA76 .H2785 1992 v.5 Available