On the metamathematics of impredicative set theory
By: [by] W. Marek.
Series: Dissertationes mathematicae = Rozprawy matematyczne -- 98; Rozprawy matematyczne -- 98.
Publisher: Państwowe Wydawn. Naukowe
Published: 1973
Place of publication: Warszawa
Language: eng
Number of pages: 45
Subjects: Set theory; Metamathematics
Other titles: The metamathematics of impredicative set theory.
Notes: Bibliography: p. [41]