Handbook of proof theory

New York: Elsevier (1998)
  Copy   BIBTEX

Abstract

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

.[author unknown] - unknown
Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.

Analytics

Added to PP
2009-01-28

Downloads
49 (#286,150)

6 months
5 (#244,526)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Content of Deduction.Mark Jago - 2013 - Journal of Philosophical Logic 42 (2):317-334.
Mathematical Method and Proof.Jeremy Avigad - 2006 - Synthese 153 (1):105-159.
Problems in Epistemic Space.Jens Christian Bjerring - 2012 - Journal of Philosophical Logic 43 (1):153-170.
A Note on Typed Truth and Consistency Assertions.Carlo Nicolai - 2016 - Journal of Philosophical Logic 45 (1):89-119.

View all 29 citations / Add more citations

References found in this work

No references found.

Add more references