| 000 | 00501nmm a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 240103s9999||||xx |||||||||||||||||und|| | ||
| 020 | _a9781470400385 (online) | ||
| 100 | _aKleene, Stephen Cole | ||
| 245 | 0 | _aFormalized recursive functionals and formalized realizability | |
| 260 |
_aProvidence, R.I. : _bAmerican Mathematical Society, _c1969 |
||
| 300 | _a1 online resource (106 p.) | ||
| 490 |
_aMemoirs of the American Mathematical Society, _x1947-6221 ; |
||
| 856 | _uhttp://www.ams.org/memo/0089 | ||
| 999 |
_c34100 _d34100 |
||