Boolos, George <br/><br/>
Computability and logic 
George S. Boolos, John P. Burgess, Richard C. Jeffrey 
 - 5th ed 
 - Cambridge  Cambridge University Press  2007 
 - xiii, 350 p. : ill. ; 26 cm. 
<br/><br/> Includes bibliographical references (p. 341) and index 
<br/><br/><label>ISBN: </label>9780521701464 
<br/><br/><label>ISSN: </label>2007014225 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computable functions<br/>Logic, Symbolic and mathematical<br/>Recursive functions
<br/><br/><label>Dewey Class. No.: </label>511.352 BOO