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 st