000 00956n a2200301#a 4500
001 5995
005 20240404163336.0
008 830124s1983 gw a b 001 0 eng
010 _a83000436
020 _a0387121552 (U.S.)
035 _aocm09217067
035 _aRecord 11831
040 _aDLC
_cDLC
049 _aP5AA
082 0 0 _a511.3
_bL616d
090 _alf2
100 1 _aLerman, M.
_q(Manuel),
_d1943-
_947067
245 1 0 _aDegrees of unsolvability:
_blocal and global theory/
_cManuel Lerman.
260 _aBerlin ;
_aNew York:
_bSpringer-Verlag,
_c1983.
300 _axiii, 307 p.:
_bill.;
_c25 cm.
500 _aIncludes indexes.
504 _aBibliography: p. [293]-297.
650 0 4 _aUnsolvability (Mathematical logic)
_931588
697 _aLógica e Fundamentos 02-
_xLógica Matemática e Funções Recursivas.
_923728
942 _2impa
_cBK
999 _c7052
_d7052
490 0 _aPerspectives in mathematical logic
_944400