000 01416n a2200337#a 4500
001 18220
003 P5A
005 20231127104002.0
008 740927s1962 riuac b 100 0 eng||
010 _a62019966
035 _aocm01024387
040 _aDLC
_cYNG
_dSER
_dOCL
_dCOO
_dP5A
049 _aP5AA
082 0 4 _a511.352
_bR311
090 _alf2cs
245 0 0 _aRecursive function theory/
_cProceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society.
260 _aProvidence, R.I.:
_bAmerican Mathematical Society,
_c1962.
300 _avii, 247 p.:
_billus., port.;
_c26 cm.
490 1 _aProceedings of Symposia in Pure Mathematics;
_vv. 5.
500 _a"Sponsored by the American Mathematical Society, the Association for Computing Machinery, and the Association for Symbolic Logic."
504 _aIncludes bibliographies.
610 2 0 _aAmerican Mathematical Society.
_943926
650 0 0 _aRecursive functions-
_936989
650 0 4 _aRecursive functions-
_xCongresses.
_927766
697 _aLógica e Fundamentos 02-
_bCongressos e Seminários-
_xLógica Matemática e Funções Recursivas
_923784
711 2 _aSymposium in Pure Mathematics
_n(5th:
_d1961:
_cNew York)
_921658
811 2 _aProceedings of symposia in pure mathematics;
_vv. 5.
830 0 _aProceedings of symposia in pure mathematics;
_vv. 5.
_944292
942 _2impa
_cBK
999 _c18714
_d18714