Bradley, Aaron R <br/><br/>
The calculus of computation  decision procedures with applications to verification 

 -  New Delhi  Springer  2007 
 - xv, 366p.   
<br/><br/> Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9788184893960 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Calculus  Computation<br/>Computational logic