000 01099n a2200313#a 4500
001 19415
003 P5A
005 20240404163502.0
008 881201s1989 ne a b 001 0 eng||
010 _a88033481
020 _a0444872957
035 _aocm18907888
040 _aDLC
_cDLC
_dFPU
049 _aP5AA
082 0 0 _a511.3
_bO24c
090 _alf4
100 1 _aOdifreddi, Piergiorgio,
_d1950-
_943305
245 1 0 _aClassical recursion theory:
_bthe theory of functions and sets of natural numbers/
_cPiergiorgio Odifreddi.
260 _aAmsterdam;
_aNew York:
_bNorth-Holland,
_aNew York:
_bSole distributors for the U.S.A. and Canada, Elsevier Science,
_c1989.
300 _axvii, 668 p.:
_bill.;
_c23 cm.
500 _aIncludes indexes.
504 _aBibliography: p. 603-641.
650 0 0 _aRécursivité, Théorie de la.
_2ram
_922092
650 0 4 _aRecursion theory.
_931339
697 _aLógica e Fundamentos 04-
_x"Studies in Logic"
_923801
942 _2impa
_cBK
999 _c19689
_d19689
490 0 _aStudies in logic and the foundations of mathematics;
_vv. 125.
_944413