Boolos/Burgess/Jeffrey <br/><br/>
Computability and Logic 

 -  Cambridge University Press  Cambridge University Press  2007 
<br/><br/><label>ISBN: </label>9780511804076 
<br/><br/><label>Source: </label>EBOOK 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Philosophy