Fitting, Melvin. <br/><br/>
Computability theory, semantics and logic programming.   
by Melvin Fitting. 
 - New York  Oxford univ Press  1987 
 - xi, 198p. 
 - Oxford logic guides  no.13 .
<br/><br/><label>ISBN: </label>0195036913 
<br/><br/><label>Dewey Class. No.: </label>001.642  / N8724