An edition of Computation, proof, machine (2015)
Computation, proof, machine
mathematics enters a new age
By Gilles Dowek
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2015
Publisher
Cambridge University Press
Language
eng
Pages
152
Book Lists