Ari <br/><br/>
Mathematical logic for computer science 

<br/><br/><label>ISBN: </label>978-1-447-17361-3