LEADER 01077nam0-22003491i-450- 001 990002108510403321 005 20080429161523.0 010 $a0-07-025800-7 035 $a000210851 035 $aFED01000210851 035 $a(Aleph)000210851FED01 035 $a000210851 100 $a20030910d1994----km-y0itay50------ba 101 0 $aeng 102 $aUS 200 1 $aFood and agricultural policy$eeconomics and politics$fHarold G. Halcrow, Robert G.F. Spitze, Joyce E. Allen Smith 205 $a2nd ed. 210 $aNew York$cMcGraw-Hill$d1994 215 $aX, 349 p.$d23 cm 225 1 $aMcGraw-Hill series in agricultural economies 610 0 $aSviluppo economico 700 1$aHalcrow,$bHarold G.$0146205 701 1$aAllen-Smith,$bJoyce$089246 701 1$aSpitze,$bRobert$089247 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990002108510403321 952 $a62 338.1 HAL$bCSREAM 2308$fDAGEA 952 $a62 338.43 HALL$bPresidenza 111$fDAGEA 959 $aDAGEA 996 $aFood and agricultural policy$9394462 997 $aUNINA LEADER 00949nam a2200241 i 4500 001 991000282759707536 008 090610s2006 it 000 0 ita d 020 $a8814133344 020 $a9788814133343 035 $ab13835853-39ule_inst 040 $aDip.to Studi Giuridici$bita 082 0 $a346.45036 100 1 $aNardi, Sandro$0301711 245 10$aFrode alla legge e collegamento negoziale /$cSandro Nardi 260 $aMilano :$bGiuffrè,$c2006 300 $axv, 161 p. ;$c25 cm 440 0$aPubblicazioni della Facoltà di giurisprudenza / Università degli studi di Roma Tor Vergata.$nNuova serie ;$v25 907 $a.b13835853$b02-04-14$c10-06-09 912 $a991000282759707536 945 $aLE027 346.03 NAR01.01$g1$i2027000226153$lle027$o-$pE16.00$q-$rl$s- $t0$u2$v3$w2$x0$y.i1499219x$z16-07-09 996 $aFrode alla legge e collegamento negoziale$9229013 997 $aUNISALENTO 998 $ale027$b10-06-09$cm$da $e-$fita$git $h0$i0 LEADER 02879nam 2200541 450 001 9910826115703321 005 20220902082716.0 010 $a0-8218-7694-5 035 $a(CKB)3240000000069633 035 $a(EBL)3112895 035 $a(SSID)ssj0001339697 035 $a(PQKBManifestationID)11915155 035 $a(PQKBTitleCode)TC0001339697 035 $a(PQKBWorkID)11355598 035 $a(PQKB)10878862 035 $a(MiAaPQ)EBC3112895 035 $a(WaSeSS)Ind00039247 035 $a(RPAM)3886499 035 $a(PPN)197104290 035 $a(EXLCZ)993240000000069633 100 $a19900111h19901990 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aLogic and computation $eproceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /$fWilfried Sieg, editor 210 1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d[1990] 210 4$d©1990 215 $a1 online resource (314 p.) 225 1 $aContemporary mathematics,$x0271-4132 ;$v106 300 $a"The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso. 311 $a0-8218-5110-1 320 $aIncludes bibliographical references. 327 $aContents -- Preface -- Some theories conservative over intuitionistic arithmetic -- Ramsey interpreted: A parametric version of Ramsey's theorem -- Notions of closed subsets of a complete separable metric space in weak subsystems of second order arithmetic -- A note on polynomial time computable arithmetic -- Axiomatizations and conservation results for fragments of bounded arithmetic -- A smash-based hierarchy between PTIME and PSPACE -- Polymorphic typed lambda-calculi in a type-free axiomatic framework -- Polynomial time computable arithmetic -- Metaprogramming in SIL -- W K Lo and orderings of countable abelian groups -- Marriage theorems and reverse mathematics -- Computationally based set existence principles -- Hierarchy results for mixed-time -- Polynomial time equivalence types -- Program development through proof transformation -- Some models of Scott's theory LC F based on a notion of rate of convergence -- Sharply bounded arithmetic and the function a -1 -- Radon-nikodym theorem is equivalent to arithmetical comprehension. 410 0$aContemporary mathematics (American Mathematical Society).$v106$x0271-4132 606 $aComputable functions$xData processing$vCongresses 615 0$aComputable functions$xData processing 676 $a511.3 702 $aSieg$b Wilfried$f1945- 712 12$aWorkshop on Logic and Computation 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910826115703321 996 $aLogic and Computation$9376364 997 $aUNINA