Proofs and Computations
Autor:
Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Dostępność:
Dostępna u dostawcy
Wysyłamy za 14-21 dni
434.59
zł
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies...
