Boolos, George S. <br/><br/>
Computability and logic 

 - 4th Edition 
 - Cambridge  Cambridge University Press  2003 
 - xi, 356p. 
<br/><br/><label>ISBN: </label> RS 1583.21 (UKP 19.99) 
<br/><br/><label>Source: </label> RS 1583.21 (UKP 19.99) 
<br/><br/><label>Dewey Class. No.: </label>511.3 BOO