---

＜図書＞
The unprovability of consistency : an essay in modal logic / George Boolos.

出版者	Cambridge, England : Cambridge University Press
出版年	1979
大きさ	viii, 184 p. ; 22 cm.
著者標目	Boolos, George
件　名	Modality (Logic) Proof theory
一般注記	Includes index.

 類似資料