出版情報	Cambridge, Mass : Harvard University Press , 1998
大きさ	ix, 443 p. : ill. ; 25 cm
一般注記	Includes bibliographical references (p. 425-435) and index
著者標目	*Boolos, George  Jeffrey, Richard C.
件　名	LCSH:Logic
分　類	LCC:BC51 DC21:160
本文言語	英語
書誌ID	TY00011436
ISBN	0674537661
NCID	BA36075275
巻冊次	ISBN:0674537661