Fitting, Melvin, Computability theory, semantics, and logic programming / Melvin Fitting. - New York : Oxford University Press, 1987. - xi, 198 p. : - Oxford logic guides ; 13 . ISBN: 0195036913 Subjects--Topical Terms: Computable functions.--- Dewey Class. No.: 410.285 / Co