A system of axiomatic set theory, vii (1954)

by P Bernays
Venue:Journal of Symbolic Logic