A FORMALIZATION OF SET THEORY WITHOUT VARIABLES - Tarski, Alfred; Givant, Steven (Providence, R. I. American Mathematical Society, 1987)
Keywords: Set Theory; Logic, Symbolic And Mathematical