TY  - BOOK
AU  - Tarski, Alfred
AU  - Givant, Steven
TI  - A FORMALIZATION OF SET THEORY WITHOUT VARIABLES
SN  - 0821810413
U1  - 511.322 
PY  - 1987///
CY  - Providence, R. I.
PB  - American Mathematical Society
KW  - Set Theory
KW  - Logic, Symbolic And Mathematical
ER  -