TY  - DATA
AU  - Tarski, Alfred.
AU  - Givant, Steven R.
TI  - A formalization of set theory without variables 
T2  - Colloquium Publications, 
SN  - 9781470431877 (online)
PY  - 1987///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Logic, Symbolic and mathematical
KW  - Set theory
N1  - Includes indexes; Bibliography: p. 273-282
UR  - https://doi.org/http://dx.doi.org/10.1090/coll/041
ER  -