LEADER 02879nam 2200541 450 001 9910788638703321 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 $a9910788638703321 996 $aLogic and Computation$9376364 997 $aUNINA LEADER 01068nam0-22003131i-450 001 990004260860403321 005 20250324120109.0 010 $a0-905712-00-5 035 $a000426086 100 $a20010727f1933----km-y0itay50------ba 101 0 $aeng 105 $ay-------001ay 200 1 $a<>Time machine$a<> Island of Dr Moreau$a<> Invisible man$a<> First men in the moon$a<> Food of the gods$aIn the days of the comet$a<> War of the worlds$fH. G. Wells 210 $aLondon$cHeinemann$d1933 215 $a828 p.$d24 cm 700 1$aWells,$bHerbert George$f<1866-1946>$0184654 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004260860403321 952 $a823.912 WELH 09$b39454$fFLFBC 959 $aFLFBC 996 $aInvisible man$9147163 996 $aFirst men in the moon$9491068 996 $aIsland of Dr Moreau$9491067 996 $aIn the days of the comet$9491070 996 $aFood of the gods$9491069 996 $aWar of the worlds$924325 996 $aTime machine$9147160 997 $aUNINA