TY  - BOOK
AU  - Abramsky, S. Ed.
AU  - Gabbay, Dov M. Ed.
AU  - Maibaum, T S E. Ed.
TI  - Handbook of Logic in Computer Science, Vols.1 - 5 1.Background: Mathematical Structures; 2.Background: Computational Structures; 3. Semantic Structures; 4. Semantic Modelling; 5. Logic and Algebraic Methods
SN  - Vol.1:0 19 853761 1; Vol.3: 0 19 853762 X; Vol.4: 0 19 853780 8; Vol.5: 0 19 853781 6;
CY  - Oxford
ER  -