search for books and compare prices
Tables of Contents for Handbook of Proof Theory
Chapter/Section Title
Page #
Page Count
Preface
v
2
List of Contributors
vii
Chapter I. An Introduction to Proof Theory
1
78
Samuel R. Buss
Chapter II. First-Order Proof Theory of Arithmetic
79
70
Samuel R. Buss
Chapter III. Hierarchies of Provably Recursive Functions
149
60
Matt Fairtlough
Stanley S. Wainer
Chapter IV. Subsystems of Set Theory and Second Order Number Theory
209
128
Wolfram Pohlers
Chapter V. Godel's Functional ("Dialectica") Interpretation
337
70
Jeremy Avigad
Solomon Feferman
Chapter VI. Realizability
407
68
Anne S. Troelstra
Chapter VII. The Logic of Provability
475
72
Giorgi Japaridze
Dick de Jongh
Chapter VIII. The Lengths of Proofs
547
92
Pavel Pudlak
Chapter IX. A Proof-Theoretic Framework for Logic Programming
639
44
Gerhard Jager
Robert F. Stark
Chapter X. Types in Logic, Mathematics and Programming
683
104
Robert L. Constable
Name Index
787
10
Subject Index
797