000 00665nam a2200229 a 4500
001 19796
003 BD-DhUET
008 860814s1987 riua b 001 0 eng
020 _a0821810413
040 _aDLC
_cDLC
_dBD-DhUET
082 _a512.89
_bTAR/1987
100 _aTarski, Alfred
245 1 2 _aFormalization of set theory without variables
250 _a1st ed.
260 _aProvidence
_bAmerican Mathematical Society
_c1987
300 _axxi, 318 p.
_bill.
_c26 cm.
490 1 _aAmerican Mathematical Society Colloquium publications, v. 41
504 _aIncludes bibliographies
650 0 _aSet Theory
700 1 _aGivant, Steven R.
942 _cGB
999 _c19796
_d19796