出版情報	Oxford : Clarendon Press New York ; Tokyo : Oxford University Press , 1994-
大きさ	v. : ill. ; 24 cm
一般注記	Includes bibliographical references and indexes Vol. 2 (published 2000) by Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger
著者標目	*Gabbay, Dov M., 1945-  Hodkinson, Ian  Reynolds, Mark (Mark A.)  Finger, Marcelo
件　名	LCSH:Electronic digital computers -- Programming  全ての件名で検索 LCSH:Logic, Symbolic and mathematical
分　類	LCC:QA76.6 DC20:511.3
本文言語	英語
書誌ID	TB00097609
ISBN	0198537697
NCID	BA23281751
巻冊次	v. 1 ; ISBN:0198537697 ; PRICE:£70.00 ($105.00 U.S.) v. 2 ; ISBN:0198537689