Boolos, George S. <br/><br/>
Computability and logic / 
George S. Boolos, Richard C. Jeffrey. 
 - 3rd ed. 
 - Cambridge :  Cambridge University Press,  1989. 
 - x, 304 p. ;  23 cm. 
<br/><br/> Includes index. 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>0521389232 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computable functions.<br/>Recursive functions.<br/>Logic, Symbolic and mathematical.