Related Books
Language: en
Pages: 436
Pages: 436
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.
Language: en
Pages: 431
Pages: 431
Type: BOOK - Published: 2021 - 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
Language: en
Pages: 279
Pages: 279
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.
Language: en
Pages: 480
Pages: 480
Type: BOOK - Published: 2011-12-15 - Publisher: Cambridge University Press
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computabil
Language: en
Pages: 810
Pages: 810
Type: BOOK - Published: 1998-07-09 - Publisher: Elsevier
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesti