George S. Boolos-John P. Burgess-Richard C. Jeffrey <br/><br/>
Computability and Logic 

 - 5th ed. George S. Boolos, John P. Burgess, Richard C. Jeffrey 
 -  Cambridge University Press  2007 
<br/><br/><label>ISBN: </label>9780521877527 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Machine Theory<br/>Computable functions.,Logic, Symbolic and mathematical.,Recursive functions.<br/>COMPUTERS