Auteur: Stanley S. (University of Leeds) Wainer

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-contai …