Computation, Proof, Machine: Mathematics Enters a New Age
Full Title: | Computation, Proof, Machine: Mathematics Enters a New Age |
---|---|
ISBN: | 0521118018 |
ISBN13: | 9780521118019 |
Authors: |
Dowek, Gilles |
Related ISBNs