Handbook of logic in computer science

＜図書＞
Handbook of logic in computer science


1	v. 1 Background : mathematical structures / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay Oxford : Clarendon Press , 1992
2	v. 2 Background : computational structures / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay Oxford : Clarendon Press , 1992
3	v. 3 Semantic structures / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky Oxford : Clarendon Press , 1994
4	v. 4 Semantic modelling / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky Oxford : Clarendon Press , 1995
5	v. 5 Logic and algebraic methods / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay Oxford : Clarendon Press. - New York : Oxford University Press , 2000