OPAC

The logic of provability / George Boolos

データ種別	図書
出版者	Cambridge [England] : New York, NY, USA : Cambridge University Press
出版年	1993
本文言語	英語
大きさ	xxxvi, 275 p. : ill. ; 24 cm
著者標目	*Boolos, George

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
	射水-1階-洋書	417.1\|\|B64	101168623						予約		予約

一般注記	Includes bibliographical references (p. [262]-269) and index
件　名	LCSH:Modality (Logic) LCSH:Proof theory
分　類	LCC:BC199.M6 DC20:160
書誌ID	B000061427
ISBN	0521433428
NCID	BA22373311