Harrison, John <br/><br/>
Handbook of practical logic and automated reasoning  
John Harrison 
 - Cambridge   New York   Cambridge University Press  2009 
 - xix, 681 p.   ill.   26 cm 
<br/><br/><br/>eng 
<br/><br/><label>ISBN: </label>9780521899574 (hbk.) 0521899575 (hbk.) 
<br/><br/><label>LCCN: </label>2009281331 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic
<br/><br/><label>LC Class. No.: </label>QA76.9.L63 
<br/><br/><label>Dewey Class. No.: </label>006.333