Proofs and Computations

Driven by the question, ''What is the computational content of a (formal) proof?'', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel''s theorems. Part II studies and classifies provable...