Boolos, George S. <br/><br/>
Computability and Logic / 
George S. Boolos, John P. Burgess and Richard C. Jeffrey 
 - 5th Ed. 
 - Cambridge :  New York :  Cambridge University Press,  c1974. 
 - xiii, 350p. 
<br/><br/><label>ISBN: </label>9780521701464 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computable Functions<br/>Recursive Functions
<br/><br/><label>Dewey Class. No.: </label>511.352  / BooC5