Boolos, George <br/><br/>
Computability and logic 

 - 3rd ed. 
 - Cambridge:  Cambridge University Press  1989 
 - x, 304p.: ill. 
<br/><br/> Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>0521389232 0521389232 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTABLE FUNCTIONS<br/>RECURSIVE FUNCTION<br/>LOGIC, SYMBOLICAL AND MATHEMATICAL
<br/><br/><label>LC Class. No.: </label>QA 9.59 Boo