Handbook of logic in computer science

Handbook of logic in computer science

Bibliographic Details
Other Authors: Dov M. Gabbay, T.S.E. Maibaum
Format: Book
Language:English
Published: Oxford Clarendon 1995
Subjects:
Computer Science.
Logic, Symbolic and mathematical.