Formalization of set theory without variables - Givant Steven; Tarski Alfred (Providence AMS, 1987)
Keywords: Mathematics; Set theory