| 000 | 00496nam a22001577a 4500 | ||
|---|---|---|---|
| 005 | 20151026125923.0 | ||
| 008 | 090728t xxu||||| |||| 00| 0 eng d | ||
| 080 |
_a510.23 _bTAR |
||
| 100 |
_aTarski, Alfred _91234 |
||
| 245 | _aA formalization of set theory without variables | ||
| 300 | _axxi, 318p. | ||
| 490 | _a( Colloquium publications) ( American Mathematical Society v.1) | ||
| 700 |
_aSteven Givant _91235 |
||
| 942 | _cBK | ||
| 260 |
_aProvidence _bAmerican Mathematical Society _c1987 _9969 |
||
| 999 |
_c526 _d526 |
||