Some Impredicative Definitions in the Axiomatic Set Theory (1950)

by A Mostowski
Venue:Fundamenta Mathematicae