You are here

Proofs and Computations

Helmut Schwichtenberg and Stanley S. Wainer
Publisher: 
Cambridge University Press
Publication Date: 
2012
Number of Pages: 
465
Format: 
Hardcover
Series: 
Perspectives in Logic
Price: 
90.00
ISBN: 
9780521517690
Category: 
Monograph
We do not plan to review this book.

Preface
Preliminaries
Part I. Basic Proof Theory and Computability: 1. Logic
2. Recursion theory
3. Godel's theorems
Part II. Provable Recursion in Classical Systems: 4. The provably recursive functions of arithmetic
5. Accessible recursive functions, ID<ω and Π11–CA0
Part III. Constructive Logic and Complexity: 6. Computability in higher types
7. Extracting computational content from proofs
8. Linear two-sorted arithmetic
Bibliography
Index.