Harrison, John <br/><br/>
Handbook of practical logic and automated reasoning 
John Harrison 
 - Cambridge  Cambridge University Press  2009 
 - xi, 681p. 
<br/><br/><label>ISBN: </label>9780521899574  P 75.00