02916nam 2200553 450 991047890660332120170918214658.00-8218-7694-5(CKB)3240000000069633(EBL)3112895(SSID)ssj0001339697(PQKBManifestationID)11915155(PQKBTitleCode)TC0001339697(PQKBWorkID)11355598(PQKB)10878862(MiAaPQ)EBC3112895(WaSeSS)Ind00039247(PPN)197104290(EXLCZ)99324000000006963319900111h19901990 uy| 0engur|n|---|||||txtccrLogic and computation proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /Wilfried Sieg, editorProvidence, Rhode Island :American Mathematical Society,[1990]©19901 online resource (314 p.)Contemporary mathematics,0271-4132 ;volume 106"The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso.0-8218-5110-1 Includes bibliographical references.""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""""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""Contemporary mathematics (American Mathematical Society) ;106.Computable functionsData processingCongressesElectronic books.Computable functionsData processing511.3Sieg Wilfried1945-Workshop on Logic and ComputationMiAaPQMiAaPQMiAaPQBOOK9910478906603321Logic and Computation376364UNINA