Computability, enumerability, unsolvability : directions in recursion theory 
edited by S.B. Cooper, T.A. Slaman, S.S. Wainer 
 - Cambridge  Cambridge University Press  1996 
 - vii, 347 p. ; 23 cm 
<br/><br/> Includes bibliographical references 
<br/><br/><label>ISBN: </label>9780521557368 
<br/><br/><label>ISSN: </label>95044750 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Recursion theory
<br/><br/><label>Dewey Class. No.: </label>511.35 SLA