Boolos, George. <br/><br/>
Computability and logic 
George S. Boolos, Richard C. Jeffrey. 
 - Cambridge  New York  Cambridge University Press  1989. 
 - x, 304 p.  ill. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>052138026X 0521389232 (pbk.) 
<br/><br/><label>LCCN: </label>89032584  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computable functions.<br/>Logic, Symbolic and mathematical<br/>Recursive functions.
<br/><br/><label>LC Class. No.: </label>QA9.59  / .B66 1989 
<br/><br/><label>Dewey Class. No.: </label>511.3