Models and computability : invited papers from logic colloquium '97, European meeting of the association for symbolic logic, Leeds, July 1997 
edited by S. Barry Cooper, John K. Truss 
 - Cambridge  Cambridge University Press  1999 
 - ix, 419 p. ; 23 cm 
<br/><br/> Includes bibliographical references 
<br/><br/><label>ISBN: </label>0521635500 
<br/><br/><label>ISSN: </label>99019677 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computable functions - Congresses<br/>Logic, Symbolic and mathematical - Congresses
<br/><br/><label>Dewey Class. No.: </label>511.3 COO