---

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

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

 類似資料