Michel, Huth <br/><br/>
Logic in Computer Science :  Modelling and Reasoning about System / 
Michel Huth 
 - 2nd ed 
 - New York  Cambridge Universty  2004 
 - XIII, 418 
<br/><br/>Propositional Logic (Page-1), Predicate Logic (Page-93), Verification by model Checking (Page-172), Program Verification (Page-256), Model Logic and Agents (Page-304), Binary Decision Diagrams (Page-358), 
<br/><br/><label>ISBN: </label>978-05-2154310-1 
<br/><br/><label>Dewey Class. No.: </label>005.1,HUT