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