00945cam0 2200277 450 E60020004542220160302134545.020090216d1945 |||||ita|0103 baitaIT<<La >>borghesiaBenedetto CroceBariLaterza & Figli194522 p.22 cmDal volume: Etica e politicaCroce, Benedetto <1866-1952>AF000033570709641ITUNISOB20160302RICAUNISOBUNISOB100|Opusc71453UNISOB100|Opusc2751E600200045422M 102 Monografia moderna SBNM100|Opusc000109Si71453massimoUNISOBUNISOB20090216154646.020160302134545.0menle100|Opusc000109-bSI2751donoNmenleUNISOBUNISOB20160302134100.020160302134138.0menleBorghesia1680410UNISOB02066nam 22005053 450 991095737750332120240416080001.01-4704-0038-3(CKB)3360000000464329(EBL)3113525(SSID)ssj0000973520(PQKBManifestationID)11630717(PQKBTitleCode)TC0000973520(PQKBWorkID)10960300(PQKB)11269772(MiAaPQ)EBC3113525(RPAM)0000000721(PPN)195409736(EXLCZ)99336000000046432920151005d1969|||| uy| 0engur|n|---|||||txtrdacontentcrdamediacrrdacarrierFormalized recursive functionals and formalized realizability /Stephen Cole Kleene1st ed.Providence American Mathematical Society19691 online resource (110 pages)Memoirs of the American Mathematical Society ;v.1Description based upon print version of record.0-8218-1289-0 Includes bibliographical references.Intro -- Contents -- Introduction -- PART I. FORMALIZED RECURSIVE FUNCTIONALS -- 1. Computation tree numbers -- 2. p-terms and p-functors -- r≅s (definition and basic properties) -- 3. Representation of p-terms by proper Indices -- 4. The recursion theorem -- the normal form theorem -- {r}[β] and Λβ u[β] -- !R &amp -- [A(R)] -- PART II. FORMALIZED REALIZABILITY -- 5. Intuitionistically provable formulas are realizable and @­realizable -- References.Memoirs of the American Mathematical SocietyRecursive functionsRecursive functions.Kleene Stephen Cole1909-1994.57809AU-PeELAU-PeELAU-PeELBOOK9910957377503321Formalized recursive functionals and formalized realizability4474186UNINA