Fitting, Melvin <br/><br/>
Computability theory, semantics, and logic programming / 
Melvin Fitting 
 - New York :  Oxford University Press,  1987 
 - 198 p. :  ill. ;  24 cm. 
 - Oxford logic guides .
<br/><br/><label>ISBN: </label>0195036913 
<br/><br/><label>LCCN: </label>85-005003 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computable functions<br/>Data structures (Computer science)