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

 - 
 - New York  Cambridge University Press  2015 
 - vii, 152p. Bibl. 
 - .
<br/><br/>  
<br/><br/><label>ISBN: </label>9780521133777 
<br/><br/><label>LCCN: </label>
<br/><br/><label>Subjects--Personal Names: </label><br/>
<br/><br/><label>Subjects--Corporate Names: </label><br/>
<br/><br/><label>Subjects--Meeting Names: </label><br/>
<br/><br/><label>Subjects--Uniform Titles: </label><br/>
<br/><br/><label>Subjects--Topical Terms: </label><br/>
<br/><br/><label>Subjects--Geographic Terms: </label><br/>
<br/><br/><label>Subjects--Facted Index Terms: </label><br/>
<br/><br/><label>Dewey Class. No.: </label>510.9  / D745.CP