Proofs and Computations
Szerző:
Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Elérhetőség:
Beszállítói készleten
Küldés 9-15 napon belül
38 038
Ft
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies...
