The Handbook of Logic in Computer Science

S. Abramsky and D. Gabbay and T. S. E. Maibaum

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

Oxford University Press

2000