Ben Ari <br/><br/>
Mathematical Logic For Computer Science 

 - Berlin  Springer  2005 
 - 305 
<br/><br/><label>Dewey Class. No.: </label>510