| 000 | 01014n a2200253#a 4500 | ||
|---|---|---|---|
| 001 | 2345 | ||
| 005 | 20240404163305.0 | ||
| 008 | 750508s1969 riu 000 0 eng d | ||
| 035 | _aocm01318874 | ||
| 035 | _aRecord 05011 | ||
| 040 |
_aYBM _cYBM |
||
| 049 | _aP5AA | ||
| 090 | _acolm | ||
| 100 | 1 |
_aKleene, Stephen Cole _d1909-1994 _945921 |
|
| 245 | 1 | 0 |
_aFormalized recursive functionals and formalized realizability/ _cby S. C. Kleene. |
| 260 |
_aProvidence, R.I.: _bAmerican Mathematical Society, _c1969. |
||
| 300 |
_a106 p.: _c26 cm. |
||
| 500 | _aCover title. | ||
| 504 | _aBibliography: p. 104-106. | ||
| 650 | 0 | 4 |
_aRecursive functions _936989 |
| 697 |
_aColeções de Monografias. _923736 |
||
| 942 |
_2impa _cBK |
||
| 999 |
_aKLEENE, Stephen Cole. <b> Formalized recursive functionals and formalized realizability. </b> Providence, R.I.: American Mathematical Society, 1969. 106 p. (Memoirs of the American Mathematical Society; no. 89). _c3517 _d3517 |
||
| 490 | 0 |
_aMemoirs of the American Mathematical Society; _vno. 89 _940302 |
|