LEADER 01761nam  22005533u 450 
001 9910480756503321
005 20210108150452.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(PPN)195409736
035   $a(EXLCZ)993360000000464329
100   $a20151005d1969||||  u||            |
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aFormalized Recursive Functionals and Formalized Realizability$b[electronic resource]
210   $aProvidence $cAmerican Mathematical Society$d1969
215   $a1 online resource (110 p.)
225 1 $aMemoirs of the American Mathematical Society ;$vv.1
300   $aDescription based upon print version of record.
311   $a0-8218-1289-0 
410  0$aMemoirs of the American Mathematical Society
517   $aMemoirs of the American Mathematical Society 
606   $aRecursive functions
606   $aMathematics$2HILCC
606   $aPhysical Sciences & Mathematics$2HILCC
606   $aMathematical Theory$2HILCC
608   $aElectronic books.
615  4$aRecursive functions.
615  7$aMathematics
615  7$aPhysical Sciences & Mathematics
615  7$aMathematical Theory
700   $aKleene$b S.C$0884754
801  0$bAU-PeEL
801  1$bAU-PeEL
801  2$bAU-PeEL
906   $aBOOK
912   $a9910480756503321
996   $aFormalized Recursive Functionals and Formalized Realizability$91975677
997   $aUNINA