Fitting Melvin. Computability theory, semantics, and logic programming . Oxford logic guides, no. 13. Clarendon Press, Oxford University Press, Oxford and New York 1987, xi + 198 pp.