Tarski, Alfred.
A formalization of set theory without variables - Providence, R.I. : American Mathematical Society, c1987. - 1 online resource (xxi, 318 p. : ill.) - Colloquium Publications, v. 41 2473-3946 ; .
Includes indexes.
Bibliography: p. 273-282.
9781470431877 (online)
Logic, Symbolic and mathematical.
Set theory.
A formalization of set theory without variables - Providence, R.I. : American Mathematical Society, c1987. - 1 online resource (xxi, 318 p. : ill.) - Colloquium Publications, v. 41 2473-3946 ; .
Includes indexes.
Bibliography: p. 273-282.
9781470431877 (online)
Logic, Symbolic and mathematical.
Set theory.