| 000 | 01146n a2200337#a 4500 | ||
|---|---|---|---|
| 001 | 7118 | ||
| 005 | 20231128114245.0 | ||
| 008 | 860814s1987 riua b 001 0 eng | ||
| 010 | _a86022168 | ||
| 020 | _a0821810413 (alk. paper) | ||
| 035 | _aocm14167511 | ||
| 040 |
_aDLC _cDLC _dUBA |
||
| 049 | _aP5AA | ||
| 082 | 0 | 0 |
_a511.322 _bT193f |
| 090 | _alf3 | ||
| 100 | 1 |
_aTarski, Alfred, _d1901-1983. _944509 |
|
| 245 | 1 | 2 |
_aA formalization of set theory without variables/ _cby Alfred Tarski and Steven Givant. |
| 260 |
_aProvidence, R.I.: _bAmerican Mathematical Society, _cc1987. |
||
| 300 |
_axxi, 318 p.: _bill.; _c26 cm. |
||
| 490 | 1 |
_aColloquium publications, _vv. 41. |
|
| 500 | _aIncludes indexes. | ||
| 504 | _aBibliography: p. 273-282. | ||
| 650 | 0 | 0 |
_aSet theory. _943640 |
| 650 | 0 | 7 |
_aLogic, Symbolic and mathematical. _99813 |
| 650 | 0 | 4 |
_aTeoria dos Conjuntos _2larpcal _920011 |
| 697 |
_aLógica e Fundamentos 03- _xTeoria dos Conjuntos. _923757 |
||
| 700 | 1 |
_aGivant, Steven R. _941752 |
|
| 830 | 0 |
_aColloquium publications (American Mathematical Society), _vv. 41. _941164 |
|
| 942 |
_2impa _cBK |
||
| 999 |
_c8146 _d8146 |
||