Singh, Arindama <br/><br/>
Logics for computer science/ 
Arindama Singh 
 - New Delhi:  Prentice-Hall,  c2003 
 - ix, 369 p.;  23 cm. 
<br/><br/> Includes index 
<br/><br/>Bibliography: p. 357-362 
<br/><br/><label>ISBN: </label>8120322843  Rs. 225.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Modelity [Logic]<br/>Proposition [Logic]<br/>Logic, Symbolic and mathematical<br/>Language and logic<br/>Resolution [Logic]<br/>Computer logic
<br/><br/><label>Dewey Class. No.: </label>621.395