The Handbook of Logic in Computer Science
Details
| Editor |
S. Abramsky and D. Gabbay and T. S. E. Maibaum |
| Note |
Volumes 1 and 2—Background: Mathematical Structures and Back− ground: Computational Structures—published in 1992. Volumes 3 and 4—Semantic Structures and Semantic Modelling— published in 1995. Volume 5—Logic and Algebraic Methods |
| Publisher |
Oxford University Press |
| Year |
2000 |
Links
Related pages
|
People |