Boolos, G. S. <br/><br/>
Computability and Logic 5th.edition 

 - Cambridge  Cambridge University Press  2007 
 - xiii, 350p. 
<br/><br/><label>ISBN: </label>978-0-521-87752-7