A formalization of set theory without variables - Tarski, Alfred 1901-1983; Givant, Steven R. 1943- (American Mathematical Society, 1988)
Bibliographie: Seiten 273-282
Auf der Webseite ist 1987 als Erscheinungsjahr angegeben, PDF basiert auf dem korrigierten Reprint von 1988