Boolos, George S. <br/><br/>
Computability and logic 
George S. Boolos and Richard C. Jeffrey 
 - 3rd ed. 
 - Cambridge  Cambridge University Press  c1989 
 - xi, 304p.; 24cm. 
<br/><br/><label>ISBN: </label>0521389232 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computable Functions<br/>Recursive Functions<br/>Symbolic Logic<br/>Mathematical Logic
<br/><br/><label>Dewey Class. No.: </label>511.3  / BOO