Sing, Arindama <br/><br/>
Logics for computer science 

 - New Delhi  Prentice-Hall of India  2003 
 - ix, 369p. : 
<br/><br/><label>ISBN: </label>8120322843 
<br/><br/><label>Dewey Class. No.: </label>001.66