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 Computation376364UNINA02248oas 2200889 a 450 991014107030332120260324110337.02090-6595(OCoLC)768452693(CONSER) 2012261003(CKB)2670000000120743(DE-599)ZDB2723657-2(MiFhGG)13OB(MiAaPQ)1096391(DE-599)2723657-2(EXLCZ)99267000000012074320111216a20119999 uy aengur|||||||||||txtrdacontentcrdamediacrrdacarrierCase reports in hepatologyNew York, NY Hindawi Publishing Corporation[London] :[Hindawi][Hoboken, NJ] :John Wiley & Sons Ltd.1 online resourceForward series,<2024- >Articles added as received to annual volume in progress.Refereed/Peer-reviewed2090-6587 Case rep. hepatol.LiverPeriodicalsLiverDiseasesPeriodicalsLiverfast(OCoLC)fst01000617LiverDiseasesfast(OCoLC)fst01000640Liver DiseasesLiverCase Reports.Fulltext.Internet Resources.Periodicals.lcgftPeriodicals.Periodicals.fastPeriodical.LiverLiverDiseasesLiver.LiverDiseases.Liver Diseases.Liver.616.36HNKHNKNTEHNKOCLCQCUSOCLCQCUINLMOCLCFCUSOCLCQCASUMOCLCOOCLCAUKMGBVT2BWNOCLCQUBYDLCJOURNAL9910141070303321Case reports in hepatology2090939UNINA