The theory of classes. A modification of von Neumann’s system (1937)

by R M Robinson
Venue:Journal of Symbolic Logic