| 000 | 00492 a2200157 4500 | ||
|---|---|---|---|
| 035 | _a | ||
| 090 |
_c17254 _d17254 |
||
| 100 | _aKleene, S. C | ||
| 245 |
_aFormalized recursive functionals and formalized realizability _cS. C. Kleene |
||
| 260 |
_aProvidence _bAmerican Mathematical Society _c1969 |
||
| 300 |
_a106 p _c25 cm |
||
| 440 |
_aMemoirs of the American Mathematical Society _n89 |
||
| 500 | _aContine bibliografie | ||
| 500 | _aLucrarea este multigrafiata | ||
| 942 |
_aIMAR _cCART _sSN |
||
| 999 |
_c17004 _d17004 |
||