> Mehrbändiges Werk
-
5:
Handbook of logic in computer science 5 Logic and algebraic methods ed. by S. Abramsky
Oxford: Clarendon Press, 2000
-
1:
Handbook of logic in computer science 1 Background: Mathematical structures / vol. co-ordinator Dov M. Gabbay ed. by S. Abramsky
Oxford: Clarendon Press, 1999
-
4:
Handbook of logic in computer science 4 Semantic modelling / vol. co-ordinator S. Abramsky ed. by S. Abramsky
Oxford: Clarendon Press, 1995
-
3:
Handbook of logic in computer science 3 Semantic structures / vol. co-ordinator S. Abramsky ed. by S. Abramsky
Oxford: Clarendon Press, 1994
-
2:
Handbook of logic in computer science 2 Background: Computational structures / vol. co-ordinator Dov M. Gabbay ed. by S. Abramsky
Oxford: Clarendon Press, 1992
-
1:
Handbook of logic in computer science 1 Background: Mathematical structures / vol. co-ordinator Dov M. Gabbay ed. by S. Abramsky
Oxford: Clarendon Press, 1992