| 000 | 00692nmm a2200193Ia 4500 | ||
|---|---|---|---|
| 008 | 230426s9999||||xx |||||||||||||||||und|| | ||
| 020 | _a9781470431877 (online) | ||
| 100 | _aTarski, Alfred. | ||
| 245 | 2 | _aA formalization of set theory without variables | |
| 260 |
_aProvidence, R.I. : _bAmerican Mathematical Society, _cc1987. |
||
| 300 | _a1 online resource (xxi, 318 p. : ill.) | ||
| 490 |
_aColloquium Publications, _vv. 41 _x2473-3946 ; |
||
| 500 | _aIncludes indexes. | ||
| 504 | _aBibliography: p. 273-282. | ||
| 650 | _aLogic, Symbolic and mathematical. | ||
| 650 | _aSet theory. | ||
| 700 | _aGivant, Steven R. | ||
| 856 | _uhttps://doi.org/http://dx.doi.org/10.1090/coll/041 | ||
| 999 |
_c31871 _d31871 |
||