Samuel R. Buss (ed.)
Elsevier (1998)
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.
|
Keywords | Proof theory |
Categories | (categorize this paper) |
Buy this book |
Find it on Amazon.com
|
Call number | QA9.54.H35 1998 |
ISBN(s) | 0444898409 9780444898401 |
Options |
![]() ![]() ![]() ![]() |
Download options

Chapter 1: An Introduction to Proof Theory & Chapter 2: Firstorder Proof Theory of Arithmetic.S. Buss
References found in this work BETA
No references found.
Citations of this work BETA
A Note on Typed Truth and Consistency Assertions.Carlo Nicolai - 2016 - Journal of Philosophical Logic 45 (1):89-119.
Inferentializing Semantics.Jaroslav Peregrin - 2010 - Journal of Philosophical Logic 39 (3):255 - 274.
View all 19 citations / Add more citations
Similar books and articles
.[author unknown] - unknown
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity.Shawn Hedman - 2004 - Oxford University Press.
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control.David J. Pym - 2004 - Oxford University Press.
Displaying and Deciding Substructural Logics 1: Logics with Contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.
Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & S. S. Wainer (eds.) - 1992 - Cambridge University Press.
Analytics
Added to PP index
2009-01-28
Total views
35 ( #296,527 of 2,421,244 )
Recent downloads (6 months)
2 ( #351,445 of 2,421,244 )
2009-01-28
Total views
35 ( #296,527 of 2,421,244 )
Recent downloads (6 months)
2 ( #351,445 of 2,421,244 )
How can I increase my downloads?
Downloads