A formalization of set theory without variables - Tarski, Alfred 1901-1983; Givant, Steven R. 1943- (1987)