A Formalization of Set Theory without Variables (1987)

by A Tarski, S Givant