The Handbook of Logic in Computer Science

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