A formalization of set theory without variables - Tarski, Alfred 1901-1983; Givant, Steven R. 1943- (American Mathematical Society, 1988)
Bibliographie: Seiten 273-282