A formalization of set theory without variables/
Tarski, Alfred, 1901-1983.
A formalization of set theory without variables/ by Alfred Tarski and Steven Givant. - Providence, R.I.: American Mathematical Society, c1987. - xxi, 318 p.: ill.; 26 cm. - Colloquium publications, v. 41. . - Colloquium publications (American Mathematical Society), v. 41. .
Includes indexes.
Bibliography: p. 273-282.
0821810413 (alk. paper)
86022168
Set theory.
Logic, Symbolic and mathematical.
Teoria dos Conjuntos
511.322 / T193f
A formalization of set theory without variables/ by Alfred Tarski and Steven Givant. - Providence, R.I.: American Mathematical Society, c1987. - xxi, 318 p.: ill.; 26 cm. - Colloquium publications, v. 41. . - Colloquium publications (American Mathematical Society), v. 41. .
Includes indexes.
Bibliography: p. 273-282.
0821810413 (alk. paper)
86022168
Set theory.
Logic, Symbolic and mathematical.
Teoria dos Conjuntos
511.322 / T193f