An Introduction to Proof Theory: Normalization,...

Main
Mathematics - Logic
An Introduction to Proof Theory:...

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Name: An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
ISBN: 9780192895936

Paolo Mancosu, Sergio Galvan, Richard Zach

5.0 / 4.0

0 comments

Quanto Você gostou deste livro?

Qual é a qualidade do ficheiro descarregado?

Descarregue o livro para avaliar a sua qualidade

De que qualidade são os ficheiros descarregados?

This book arose out of the desire to enable students, especially those in philosophy,who have only a minimal background in mathematics and logic, to appreciatethe most important results of classical proof theory. Most proof theory textbooksbegin at a rather demanding level. The more accessible among them only coverstructural proof theory, and those that also cover ordinal proof theory assume astrong mathematical background. Unfortunately, there is no good, elementaryintroduction to proof theory in English that does both. Our book is meant to fillthis gap.

Categorias:

Mathematics - Logic

Ano:

2021

Editora:

Oxford University Press

Idioma:

english

ISBN 10:

0192895931

ISBN 13:

9780192895936