LEADER 02916nam 2200553 450 001 9910478906603321 005 20170918214658.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(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 ;$vvolume 106 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 $a""Contents""; ""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"" 327 $a""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. 606 $aComputable functions$xData processing$vCongresses 608 $aElectronic books. 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 $a9910478906603321 996 $aLogic and Computation$9376364 997 $aUNINA