Dowek, Gilles <br/><br/>
Computation, Proof, Machine / 
Gilles Dowek , Translated By Pierre Guillot , Marion Roman 
 - 1st edition 
 -  Cambridge ,  2015 
 - 152 
<br/><br/><label>ISBN: </label>9780521133777 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Medical
<br/><br/><label>Dewey Class. No.: </label>510.9  / DOW