OPAC

Semantic structures / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky
(Handbook of logic in computer science ; v. 3)

配架場所	巻　次	請求記号	資料番号	原簿番号	状　態	ISBN	予約	指定図書	仮想書架
越中島図書館 / 一般図書		549.92/A 15/3	50000181338	181338		019853762X	予約		仮想書架	予約	仮想書架
科学文化論(品)		549/H29/3	0096032561	9603256		019853762X			仮想書架		仮想書架

出版情報	Oxford : Clarendon Press , 1994
大きさ	xiii, 490 p. ; 24 cm
一般注記	Includes bibliographical references and index
著者標目	Abramsky, Samson, 1953- Gabbay, Dov M., 1945- Maibaum, Thomas S. E., 1947-
本文言語	英語
書誌ID	TB00085823
ISBN	019853762X
NCID	BA2490965X
巻冊次	ISBN:019853762X

目次／あらすじ