000 | 01007n a2200325#a 4500 | ||
---|---|---|---|
001 | 11370 | ||
003 | P5A | ||
005 | 20240404163421.0 | ||
008 | 750925s1975 gw a b 001 0 eng|| | ||
010 | _a75033102 //r79 | ||
020 | _a0387074511 | ||
035 | _aocm01733751 | ||
035 | _aRecord 21971 | ||
040 |
_aDLC _cDLC |
||
049 | _aP5AA | ||
082 | 0 | 4 |
_a511.3 _bB296a |
090 | _alf2 | ||
100 | 1 |
_aBarwise, Jon. _945949 |
|
245 | 1 | 0 |
_aAdmissible sets and structures: _ban approach to definability theory/ _cJon Barwise. |
260 |
_aBerlin; _aNew York: _bSpringer-Verlag, _c1975. |
||
300 |
_axiii, 394 p.: _bill.; _c25 cm. |
||
500 | _aIncludes indexes. | ||
504 | _aBibliography: p. [379]-385. | ||
650 | 0 | 0 |
_aAdmissible sets. _936988 |
650 | 0 | 4 |
_aDefinability theory (Mathematical logic) _937599 |
697 |
_aLógica e Fundamentos 02- _xLógica Matemática e Funções Recursivas. _923728 |
||
942 |
_2impa _cBK |
||
999 |
_c12253 _d12253 |
||
490 | 0 |
_aPerspectives in mathematical logic _944400 |