1 Ebooks de Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg
Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg & Stanley S. (University of Leeds) Wainer: 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-contai …
PDF
DRM
€92.47
