Proofs and Computations
Автор:
Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Наличност:
Външен склад
Изпращаме след 9-15 дни
100.62
€
196.79 лв
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies...
