Computation, Proof, Machine: Mathematics Enters a New Age

Mathematics

by Gilles Dowek

Hardcover

ISBN: 978-0-521-11801-9

ISBN-10: 0-521-11801-8

Cambridge University Press · 2015