On the metamathematics of impredicative set theory - Marek, Victor W. 1943- (Państwowe wydawnictwo naukowe, 1973)