01761nam 22005533u 450 991048075650332120210108150452.01-4704-0038-3(CKB)3360000000464329(EBL)3113525(SSID)ssj0000973520(PQKBManifestationID)11630717(PQKBTitleCode)TC0000973520(PQKBWorkID)10960300(PQKB)11269772(MiAaPQ)EBC3113525(PPN)195409736(EXLCZ)99336000000046432920151005d1969|||| u|| |engur|n|---|||||txtccrFormalized Recursive Functionals and Formalized Realizability[electronic resource]Providence American Mathematical Society19691 online resource (110 p.)Memoirs of the American Mathematical Society ;v.1Description based upon print version of record.0-8218-1289-0 Memoirs of the American Mathematical SocietyMemoirs of the American Mathematical Society Recursive functionsMathematicsHILCCPhysical Sciences & MathematicsHILCCMathematical TheoryHILCCElectronic books.Recursive functions.MathematicsPhysical Sciences & MathematicsMathematical TheoryKleene S.C884754AU-PeELAU-PeELAU-PeELBOOK9910480756503321Formalized Recursive Functionals and Formalized Realizability1975677UNINA00953nam0 2200265 450 991088749750332120240924084619.0978363162907920240923d2014----km y0itay50 baenggerDEy 001yyFacets of LinguisticsProceedings of the 14 th Norddeutsches Linguistisches Kolloquium 2013 in Halle an der SaaleAnne Ammermann, Alexander Brock, Jana Pflaeging [et al.]Frankfurt am MainPeter Lang2014250 p.26 cmHallesche Sprach- und Textforschung. Language and Text Studies. Recherches linguistiques et textuelles12Ammermann,Anne1769350Brock,Alexander1769351ITUNINAREICATUNIMARCBK9910887497503321410 AMME 012024/11508FLFBCFLFBCFacets of Linguistics4239188UNINA