---

＜図書＞
On sentences provable in impredicative extensions of theories / Zygmunt Ratajczyk.
(Dissertationes mathematicae)

出版者	Warszawa : Panst. Wydaw. Naukowe ; available from Ars Polona
出版年	1979
大きさ	44 p. ; 24 cm.
著者標目	Ratajczyk, Zygmunt
件　名	Axiomatic set theory Predicate calculus

 類似資料