Ways of Proof Theory.

By: Schindler, RalfSeries: Ontos Mathematical Logic SerPublisher: Berlin/Boston : De Gruyter, Inc., 2010Copyright date: ©2010Description: 1 online resource (498 pages)Content type: text Media type: computer Carrier type: online resourceISBN: 9783110324907Subject(s): Proof theoryGenre/Form: Electronic books. Additional physical formats: Print version:: Ways of Proof TheoryDDC classification: 511.36 LOC classification: QA9.54.S35 2010ebOnline resources: Click to View
Contents:
Intro -- Preface -- Contents -- Wolfram Pohlers-Life and Work -- The Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 - 2008 -- A New Approach to Predicative Set Theory -- Characterising Definable Search Problems inBounded Arithmetic via Proof Notations -- On Topological Models of GLP -- Program Extraction via Typed Realisability for Induction and Coinduction -- Another Reduction of Classical IDν to Constructive IDiν -- Elementary Constructive Operational Set Theory -- Functional Interpretations of Classical Systems -- Towards a Formal Theory of Computability -- Σ11Choice in a Theory of Sets and Classes -- An Extended Predicative Definition of the Mahlo Universe -- ITTMs with Feedback -- Logspace without Bounds -- Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11-CA and Δ12-CA + BI: Part I -- Weak Theories of Operations and Types -- Computing Bounds from Arithmetical Proofs.
Summary: In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Ebrary Ebrary Afghanistan
Available EBKAF00081131
Ebrary Ebrary Algeria
Available
Ebrary Ebrary Cyprus
Available
Ebrary Ebrary Egypt
Available
Ebrary Ebrary Libya
Available
Ebrary Ebrary Morocco
Available
Ebrary Ebrary Nepal
Available EBKNP00081131
Ebrary Ebrary Sudan

Access a wide range of magazines and books using Pressreader and Ebook central.

Enjoy your reading, British Council Sudan.

Available
Ebrary Ebrary Tunisia
Available
Total holds: 0

Intro -- Preface -- Contents -- Wolfram Pohlers-Life and Work -- The Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 - 2008 -- A New Approach to Predicative Set Theory -- Characterising Definable Search Problems inBounded Arithmetic via Proof Notations -- On Topological Models of GLP -- Program Extraction via Typed Realisability for Induction and Coinduction -- Another Reduction of Classical IDν to Constructive IDiν -- Elementary Constructive Operational Set Theory -- Functional Interpretations of Classical Systems -- Towards a Formal Theory of Computability -- Σ11Choice in a Theory of Sets and Classes -- An Extended Predicative Definition of the Mahlo Universe -- ITTMs with Feedback -- Logspace without Bounds -- Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11-CA and Δ12-CA + BI: Part I -- Weak Theories of Operations and Types -- Computing Bounds from Arithmetical Proofs.

In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2019. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.

There are no comments on this title.

to post a comment.