01438nam 2200385Ia 450 99639659790331620221108072557.0(CKB)4330000000349419(EEBO)2240873758(OCoLC)52529005(EXLCZ)99433000000034941920030701d1647 uy 0engurbn||||a|bb|The sincere convert[electronic resource] discovering the paucitie of true beleevers: and the great difficultie of saving conversion. Newly corrected and amended. /By Tho: Shepheard sometimes of Immanuel Colledge in CambridgeEdinburgh Printed by Gideon LithgowAnno Dom 1647[12], 177, [3] pTitle within ornamental border.Preface by W. Greenhill.With marginal notes.Table of contents: [3] p. at end.Reproduction of the original in the National Library of Scotland.eebo-0097ConversionChristianityEarly works to 1800SalvationChristianityEarly works to 1800ConversionChristianitySalvationChristianityShepard Thomas1605-1649.1000947Greenhill William1591-1671.1002286EAEEAEBOOK996396597903316The sincere convert2300382UNISA04348nam 2200649 a 450 991095858740332120230802003103.03-11-032492-X10.1515/9783110324921(CKB)3390000000032865(EBL)1215585(SSID)ssj0000801398(PQKBManifestationID)11459918(PQKBTitleCode)TC0000801398(PQKBWorkID)10773995(PQKB)10867539(DE-B1597)211283(OCoLC)853237147(OCoLC)978593138(DE-B1597)9783110324921(Au-PeEL)EBL1215585(CaPaEBR)ebr10728840(OCoLC)851972131(Perlego)654056(MiAaPQ)EBC1215585(EXLCZ)99339000000003286520130717d2012 uy 0engurun#---|u||utxtccrLogic, construction, computation /Ulrich Berger ... [et al.] (eds.)Heusenstamm [Germany] ontos20121 online resource (544 p.)Ontos Mathematical Logic ;3Ontos mathematical logic ;v. 3Description based upon print version of record.3-86838-158-9 3-11-032453-9 Includes bibliographical references.Front matter --Preface /Berger, Ulrich / Diener, Hannes / Schuster, Peter / Seisenberger, Monika --Contents --Contributors --A New Use of Friedman's Translation: Interactive Realizability /Aschieri, Federico / Berardi, Stefano --Polymorphic Logic /Bickford, Mark / Robert, Constable --Constructive Solutions of Ordinary Differential Equations /Bridges, Douglas S. --A Nonstandard Hierarchy Comparison Theorem for the Slow and Fast Growing Hierarchy /Buchholz, Wilfried / Weiermann, Andreas --Conservativity of transitive closure over weak constructive operational set theory /Cantini, Andrea / Crosilla, Laura --Formal Baire Space in Constructive Set Theory /Curi, Giovanni / Rathjen, Michael --Functional Interpretations of Classical and Constructive Set Theory /Diller, Justus --Weak Theories of Truth and Explicit Mathematics /Eberhard, Sebastian / Strahm, Thomas --Axiomatizing Truth: Why and How? /Feferman, Solomon --On the Strength of some Semi-Constructive Theories /Feferman, Solomon --On the Relation Between Various Negative Translations /Ferreira, Gilda / Oliva, Paulo --A Finite Axiomatisation of Inductive-Inductive Definitions /Forsberg, Fredrik Nordvall / Setzer, Anton --Some Conservative Extension Results on Classical and Intuitionistic Sequent Calculi /Ishihara, Hajime --About the Strength of Operational Regularity /Jäger, Gerhard / Zumbrunnen, Rico --Non-Deterministic Epsilon Substitution for ID1: Effective Proof /Mints, Grigori --Another Unique Weak König's Lemma WKL!! /Moschovakis, Joan Rand --The Continuous Functionals as Limit Spaces /Normann, Dag --Provably Recursive Functions of Reflection /Pohlers, Wolfram / Stegert, Jan-Carl --A Hierarchy of Ramified Theories Below PRA /Spoors, Elliott J. / Wainer, Stanley S. --Representing L-Domains as Information Systems /Spreen, DieterOver the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set...Ontos Mathematical LogicLogicComputational neuroscienceLogic.Computational neuroscience.510Berger Ulrich66504MiAaPQMiAaPQMiAaPQBOOK9910958587403321Logic, construction, computation4447626UNINA