Stanley S. Wainer is an Emeritus Professor of Mathematics at the University of Leeds and a past-President of the British Logic Colloquium.
1 كتب إلكترونية بواسطة 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
