Fitting, Melvin <br/><br/>
Computability theory semantics and logic programming / 

 - New York :  OUP ,  1987. 
 - Ppxii+198,  23.5cms