On Ackermann’s set theory (1959)

by A Levy
Venue:Journal of Symbolic Logic