Book (collection):
Samuel R. Buss (ed).
Handbook Proof Theory
Elsevier, Amsterdam, 1998, 811+x pages.
Table of contents:
- An Introduction to Proof Theory.
Samuel R. Buss.
- First-Order Theory of Arithmetic.
Samuel R. Buss.
- Hierarchies of Provably Recursive Functions. Matt Fairtlough and
Stanley S. Wainer.
- Subsystems of Set Theory and Second Order Number Theory. Wolfram
Pohlers.
- Gödels' Functional ("Dialectica") Interpretation.
Jeremy Avigad and Soloman Feferman.
- Realizability. Anne S. Troelstra.
- The Logic of Provability. Giorgi Japaridze and Dick de Jongh.
- The Lengths of Proofs. Pavel Pudlák.
- A Proof-Theoretic Framework for Logic Programming. Gerhard Jäger
and Robert Stärk.
- Types in Logic, Mathematics and Programming. Robert L. Constable.
Also contains name index and subject index.
Back to Sam Buss's publications page.