Dowek, Gilles <br/><br/>
Computation, proof, machine :   mathematics enters a new age / 
Gilles Dowek 
 - New York  Cambridge University Press  2015 
 - 152 p. 
<br/><br/><label>ISBN: </label>9780521133777 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics, Ancient<br/>Mathematics
<br/><br/><label>Dewey Class. No.: </label>510.9 DOW-G