LEADER 01562nam  22004813  450 
001 9910788605003321
005 20230407173838.0
010   $a1-4704-0038-3
035   $a(CKB)3360000000464329
035   $a(EBL)3113525
035   $a(SSID)ssj0000973520
035   $a(PQKBManifestationID)11630717
035   $a(PQKBTitleCode)TC0000973520
035   $a(PQKBWorkID)10960300
035   $a(PQKB)11269772
035   $a(MiAaPQ)EBC3113525
035   $a(RPAM)0000000721
035   $a(PPN)195409736
035   $a(EXLCZ)993360000000464329
100   $a20151005d1969||||  uy|            0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormalized recursive functionals and formalized realizability /$fStephen Cole Kleene
210   $aProvidence $cAmerican Mathematical Society$d1969
215   $a1 online resource (110 pages)
225 1 $aMemoirs of the American Mathematical Society ;$vv.1
300   $aDescription based upon print version of record.
311 0 $a0-8218-1289-0 
320   $aIncludes bibliographical references.
410  0$aMemoirs of the American Mathematical Society
606   $aRecursive functions
615  4$aRecursive functions.
700   $aKleene$b Stephen Cole$f1909-1994$057809
801  0$bAU-PeEL
801  1$bAU-PeEL
801  2$bAU-PeEL
906   $aBOOK
912   $a9910788605003321
996   $aFormalized recursive functionals and formalized realizability$93838620
997   $aUNINA