| 000 | 01822nam a2200421 i 4500 | ||
|---|---|---|---|
| 001 | EBC3113525 | ||
| 003 | MiAaPQ | ||
| 005 | 20240123100432.0 | ||
| 006 | m o d | | ||
| 007 | cr cnu|||||||| | ||
| 008 | 750508s1969 riu ob 000 0 eng|d | ||
| 020 | _z9780821812891 | ||
| 020 | _a9781470400385 (e-book) | ||
| 035 | _a(MiAaPQ)EBC3113525 | ||
| 035 | _a(Au-PeEL)EBL3113525 | ||
| 035 | _a(CaPaEBR)ebr10882184 | ||
| 035 | _a(OCoLC)884584266 | ||
| 040 |
_aMiAaPQ _beng _erda _epn _cMiAaPQ _dMiAaPQ |
||
| 050 | 4 |
_aQA9.615 _b.K54 1969 |
|
| 100 | 1 |
_aKleene, Stephen Cole, _d1909-1994, _eauthor. |
|
| 245 | 1 | 0 |
_aFormalized recursive functionals and formalized realizability / _cby S.C. Kleene. |
| 264 | 1 |
_aProvidence : _bAmerican Mathematical Society, _c1969. |
|
| 300 | _a1 online resource (110 pages). | ||
| 336 |
_atext _2rdacontent |
||
| 337 |
_acomputer _2rdamedia |
||
| 338 |
_aonline resource _2rdacarrier |
||
| 490 | 1 |
_aMemoirs of the American Mathematical Society ; _vnumber 89 |
|
| 500 | _aCover title. | ||
| 504 | _aBibliography: pages 104-106. | ||
| 588 | _aDescription based on print version record. | ||
| 590 | _aElectronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. | ||
| 650 | 0 | _aRecursive functions. | |
| 655 | 4 | _aElectronic books. | |
| 776 | 0 | 8 |
_iPrint version: _aKleene, Stephen Cole. _tFormalized recursive functionals and formalized realizability. _dProvidence : American Mathematical Society, 1969 _h106 ; 26 cm _kMemoirs of the American Mathematical Society ; no. 89 _z9780821812891 |
| 797 | 2 | _aProQuest (Firm) | |
| 830 | 0 |
_aMemoirs of the American Mathematical Society ; _vno. 89. |
|
| 856 | 4 | 0 |
_uhttps://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=3113525 _zClick to View |
| 999 |
_c170798 _d170798 |
||