00867nam0-22002771i-450 99000601911040332120221010143831.0000601911FED01000601911(Aleph)000601911FED0119980601d1978----km-y0itay50------baengUS--------00-yy<<The >>International and National Protection of Movable Cultural Property a Comparative StudySharon A. WilliamsNew YorkOceana Publ.1978XVII, 302 p.8°341Williams,Sharon Anne229344ITUNINARICAUNIMARCBK990006019110403321X N4 32111064FGBCFGBCInternational and National Protection of Movable Cultural Property a Comparative Study579062UNINA00865nam a22002411i 450099100356408970753620040507135158.0040802s1967 it |||||||||||||||||ita b13093009-39ule_instARCHE-104561ExLBiblioteca InterfacoltàitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.345Reader, Paul489532I processi famosi /Paul ReaderMilano :S.E.A.,stampa 19671 v. ;19 cmProcessiGran Bretagna.b1309300902-04-1405-08-04991003564089707536LE002 Fondo Giudici N 26112002000341617le002C. 1-E0.00-no 00000.i1372647x05-08-04Processi famosi289687UNISALENTOle00205-08-04ma -itait 2101110nam 2200397 450 991082324740332120230630000344.09956-551-32-5(CKB)4100000011779944(OCoLC)1239801311(MdBmJHUP)muse97395(MiAaPQ)EBC6485365(Au-PeEL)EBL6485365(OCoLC)1239987329(EXLCZ)99410000001177994420220528d2021 uy 1freur|||||||nn|ntxtrdacontentcrdamediacrrdacarrierTestament d'un Patriote Exécuté /Thomas JingMankon, Bamenda, Cameroon :Langaa RPCIG,[2021]©20211 online resource (1 online resource)9956-551-66-X AfricaHistoryFiction823Jing Thomas1115689MiAaPQMiAaPQMiAaPQBOOK9910823247403321Testament d'un Patriote Exécuté4097368UNINA00807nam0 2200289 450 991084649590332120240502153333.0978135032157120240502d2022----km y0itay50 baengGB 001yySocial work theories in contexcreating frameworks for practiceKaren Healy3. ed.London ; New YorkBloomsbury2022XV, 320 p.24 cm2001Servizio socialeFilosofia361.322itaHealy,Karen1598938ITUNINAREICATUNIMARCBK9910846495903321361.3 HEA 111667BFSBFSSocial work theories in contex4156410UNINA02066nam 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