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