Proofs and Computations
Autor:
Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Disponibilitate:
În depozitul extern
Expediem în 9-15 zile
550.52
lei
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies...
