Lover, Robert. <br/><br/>
Elementary logic for software development / 
Robert Lover. 
 - London :  Springer,  c2008. 
 - xiv, 313 p. ;  24 cm. 
<br/><br/> Includes Index. 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>9781848000810 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development--Methodology.<br/>Reasoning.