Related Books

An Introduction to Proof Theory
Language: en
Pages: 336
Authors: Paolo Mancosu
Categories: Philosophy
Type: BOOK - Published: 2021-08-12 - Publisher: Oxford University Press

DOWNLOAD EBOOK

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid
Proof Theory
Language: en
Pages: 514
Authors: Gaisi Takeuti
Categories: Mathematics
Type: BOOK - Published: 2013-01-01 - Publisher: Courier Corporation

DOWNLOAD EBOOK

Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians.
Proof Theory
Language: en
Pages: 309
Authors: K. Schütte
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book was originally intended to be the second edition of the book "Beweis theorie" (Grundlehren der mathematischen Wissenschaften, Band 103, Springer 1960)
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Language: en
Pages: 539
Authors: Ulrich Kohlenbach
Categories: Mathematics
Type: BOOK - Published: 2008-05-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathem
Proof Theory
Language: en
Pages: 220
Authors: Wolfram Pohlers
Categories: Mathematics
Type: BOOK - Published: 2009-06-10 - Publisher: Springer

DOWNLOAD EBOOK

Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advance