001364939 000__ 01758nam\a2200445\i\4500
001364939 001__ 1364939
001364939 003__ MiAaPQ
001364939 005__ 20210807003530.0
001364939 006__ m\\\\\o\\d\\\\\\\\
001364939 007__ cr\cn\nnnunnun
001364939 008__ 750508s1969\\\\riu\\\\\ob\\\\000\0\eng\d
001364939 020__ $$z9780821812891
001364939 020__ $$a9781470400385 (e-book)
001364939 035__ $$a(MiAaPQ)EBC3113525
001364939 035__ $$a(Au-PeEL)EBL3113525
001364939 035__ $$a(CaPaEBR)ebr10882184
001364939 035__ $$a(OCoLC)884584266
001364939 040__ $$aMiAaPQ$$beng$$erda$$epn$$cMiAaPQ$$dMiAaPQ
001364939 050_4 $$aQA9.615$$b.K54 1969
001364939 1001_ $$aKleene, Stephen Cole,$$d1909-1994,$$eauthor.
001364939 24510 $$aFormalized recursive functionals and formalized realizability /$$cby S.C. Kleene.
001364939 264_1 $$aProvidence :$$bAmerican Mathematical Society,$$c1969.
001364939 300__ $$a1 online resource (110 pages).
001364939 336__ $$atext$$2rdacontent
001364939 337__ $$acomputer$$2rdamedia
001364939 338__ $$aonline resource$$2rdacarrier
001364939 4901_ $$aMemoirs of the American Mathematical Society ;$$vnumber 89
001364939 500__ $$aCover title.
001364939 504__ $$aBibliography: pages 104-106.
001364939 506__ $$aAccess limited to authorized users.
001364939 588__ $$aDescription based on print version record.
001364939 650_0 $$aRecursive functions.
001364939 655_0 $$aElectronic books
001364939 77608 $$iPrint version:$$aKleene, Stephen Cole.$$tFormalized recursive functionals and formalized realizability.$$dProvidence : American Mathematical Society, 1969$$z9780821812891
001364939 830_0 $$aMemoirs of the American Mathematical Society ;$$vno. 89.
001364939 852__ $$bebk
001364939 85640 $$3ProQuest Ebook Central Academic Complete $$uhttps://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3113525$$zOnline Access
001364939 909CO $$ooai:library.usi.edu:1364939$$pGLOBAL_SET
001364939 980__ $$aBIB
001364939 980__ $$aEBOOK
001364939 982__ $$aEbook
001364939 983__ $$aOnline