Arindama Singh <br/><br/>
Logics for Computer Science 

 -  PHI Learning  2nd ed./ 2018 
<br/><br/><label>ISBN: </label>9789387472433