On sentences provable in impredicative extensions of theories
By: Zygmunt Ratajczyk.
Series: Dissertationes mathematicae ;; 178; Rozprawy matematyczne ;; 178.
Publisher: Państ. Wydaw. Naukowe ; available from Ars Polona
Published: 1979
Place of publication: Warszawa
Language: eng
Number of pages: 44
Subjects: Axiomatic set theory.; Predicate calculus.
Notes: Bibliography: p. 40.