Dowek, Gilles <br/><br/>
Computation, proof, machine: Mathematics enters a new age 

 - Cambridge  Cambridge Uni Pr  2015 
 - viii; 152p;pbk 
<br/><br/><label>ISBN: </label>9780521133777 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics-History-20th century<br/>Mathematics-History<br/>Mathematics, Ancient<br/>Mathematics
<br/><br/><label>Dewey Class. No.: </label>510.9/DOW