Stanley S. Wainer is an Emeritus Professor of Mathematics at the University of Leeds and a past-President of the British Logic Colloquium.
1 Ebooks par Stanley S. Wainer
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
