---

＜図書＞
Handbook of logic in computer science. vol. 2 / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.

出版者	Oxford, England : Clarendon Press
出版年	1992
大きさ	x, 571 p : ill ; 25 cm.
著者標目	Abramsky, Samson, 1953- Gabbay, Dov M., 1945- Maibaum, Thomas S. E., 1947-
件　名	Computer science Logic, Symbolic and mathematical
内容注記	v. 2. Background, computational structures.

 類似資料