LEADER 00807nam0 2200289 450 001 9910846495903321 005 20240502153333.0 010 $a9781350321571 100 $a20240502d2022----km y0itay50 ba 101 0 $aeng 102 $aGB 105 $a 001yy 200 1 $aSocial work theories in contex$ecreating frameworks for practice$fKaren Healy 205 $a3. ed. 210 $aLondon ; New York$cBloomsbury$d2022 215 $aXV, 320 p.$d24 cm 454 0$12001 610 0 $aServizio sociale$aFilosofia 676 $a361.3$v22$zita 700 1$aHealy,$bKaren$01598938 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910846495903321 952 $a361.3 HEA 1$b11667$fBFS 959 $aBFS 996 $aSocial work theories in contex$94156410 997 $aUNINA LEADER 02066nam 22005053 450 001 9910957377503321 005 20240416080001.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 205 $a1st ed. 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. 327 $aIntro -- 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 & -- [A(R)] -- PART II. FORMALIZED REALIZABILITY -- 5. Intuitionistically provable formulas are realizable and @­realizable -- 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 $a9910957377503321 996 $aFormalized recursive functionals and formalized realizability$94474186 997 $aUNINA