A Formalization of Set Theory without Variables

Bok av Alfred Tarski