Burris,Stanley N. <br/><br/>
Logic for methematics and computer science 
Stanley N. Burris 
 - NewJersy  Prentice Hall  1998 
 - xix,420 
<br/><br/><label>ISBN: </label>132859742  US