---

＜図書＞
On local proof restrictions for strong theories / Don Jensen.
(Dissertationes mathematicae)

出版者	Warszawa : Panstwowe Wydawn. Naukowe
出版年	1973
大きさ	51 p. (p. {48}-51 advertisements) ; 24 cm.
著者標目	Jensen, Don
件　名	Proof theory
一般注記	At head of title: Polska Akademia Nauk. Instytut Matematyczny. ＼ Bibliography: p. {46}-47.

 類似資料