出版情報	Cambridge : Cambridge University Press , 1994
大きさ	xv, 202 p. : ill. ; 26 cm
一般注記	Includes bibliographical references and index
著者標目	*Shankar, N.
件　名	LCSH:Gödel's theorem -- Data processing  全ての件名で検索 LCSH:Automatic theorem proving
分　類	DC20:511.3 DC20:511.3/0285/53
本文言語	英語
書誌ID	TY00008886
ISBN	052142027X
NCID	BA22888457
巻冊次	ISBN:052142027X ; PRICE:£16.95 : Formerly CIP