Lover Robert <br/><br/>
Elementary Logic For Software Development 
/ by Robert Lover 
 -  Springer  2008 
 - 313p.