Normal view MARC view ISBD view

Abramsky, S. Ed. Gabbay, Dov M. Ed. Maibaum, T S E. Ed.

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 - Oxford Oxford Univ. Press 1992 - 1995;2000 - 827p; 571p; 490p; 651p; 537; - Handbook of Logic in Computer Science, Vols.1 - 5 .

ISBN: Vol.1:0 19 853761 1; Vol.3: 0 19 853762 X; Vol.4: 0 19 853780 8; Vol.5: 0 19 853781 6;

Universal Decimal Class. No.: 681.3(02) ABR 681.3(02) ABR 681.3(02) ABR 681.3(02) ABR 681.3(02) ABR