This book is downloadableby Jean-Yves Girard, Yves Lafont, Paul Taylor
This is a site about proof theory.
Please let me have your suggestions and share the information you think should appear here. From time to time I'll update the site with what I receive, please don't expect a quick reaction.
There is a mailing list for discussions about proof theory: click here to subscribe or here to unsubscribe; alternatively, send a message to Majordomo@Janeway.Inf.TU-Dresden.DE whose body contains `subscribe pt' or `unsubscribe pt' without quotes.
More on the Proof Theory mailing list
There is also a smaller and more active mailing list, called Frogs, specifically devoted to structural proof theory: click here to subscribe or here to unsubscribe.
More on the Frogs mailing list
Proofs and TypesThis book is downloadable
by Jean-Yves Girard, Yves Lafont, Paul Taylor
Logic for Computer Science: Foundations of Automatic Theorem ProvingThis book is downloadable
by Jean Gallier
Handbook of Proof TheoryThe first two chapters are downloadable
edited by Samuel R Buss
Basic Proof Theory
by A S Troelstra and H Schwichtenberg
Structural Proof Theory
by Sara Negri and Jan von Plato
Proof Theory
by Gaisi Takeuti
Proof Theory and Logical Complexity: Volume I
by Jean-Yves Girard
Proof Theory
Helmut Schwichtenberg
Proof Theory on the Eve of Year 2000
by Solomon Feferman
Proof Theory and PhilosophyThis book is being written and the draft is available
by Greg Restall
Deep Inference and the Calculus of Structures
Proof Theory Forum
7.12.2006Alessio Guglielmiemail