The formalism ℒ⁺ without variables and the problem of its equipollence with ℒ

A Formalization of Set Theory without Variables - Colloquium Publications ◽

10.1090/coll/041/03 ◽

1987 ◽

pp. 45-94