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