More Books:

Structural Proof Theory
Language: en
Pages: 276
Authors: Sara Negri, Jan von Plato
Categories: Mathematics
Type: BOOK - Published: 2008-07-10 - Publisher: Cambridge University Press

A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.
Structural Proof Theory
Language: en
Pages: 416
Authors: Aaron Brookes
Categories: Mathematics
Type: BOOK - Published: 2017-04-12 - Publisher: Createspace Independent Publishing Platform

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The
Basic Proof Theory
Language: en
Pages: 417
Authors: A. S. Troelstra, H. Schwichtenberg
Categories: Computers
Type: BOOK - Published: 2000-07-27 - Publisher: Cambridge University Press

Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
Proof Theory and Algebra in Logic
Language: en
Pages: 160
Authors: Hiroakira Ono
Categories: Philosophy
Type: BOOK - Published: 2019-08-02 - Publisher: Springer

This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been increasingly recognized in recent years. It highlights the contrasts between the deep, concrete results using the former and the
An Introduction to Proof Theory
Language: en
Pages: 432
Authors: Paolo Mancosu
Categories: Philosophy
Type: BOOK - Published: 2021-08-17 - Publisher: Oxford University Press

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 the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in