Proofs and Computations
Autor:
Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Dostupnosť:
Skladom u dodávateľa
Odosielame za 14-21 dní
95.60
€
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies...
