TY  - BOOK
AU  - Tarski, Alfred
AU  - Steven Givant
TI  - A formalization of set theory without variables
T2  - ( Colloquium publications) ( American Mathematical Society v.1)
PY  - 1987///
CY  - Providence
PB  - American Mathematical Society
ER  -