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