Computability theory, semantics and logic programming.
Fitting, Melvin.
Computability theory, semantics and logic programming. by Melvin Fitting. - New York Oxford univ Press 1987 - xi, 198p. - Oxford logic guides no.13 .
0195036913
001.642 / N8724
Computability theory, semantics and logic programming. by Melvin Fitting. - New York Oxford univ Press 1987 - xi, 198p. - Oxford logic guides no.13 .
0195036913
001.642 / N8724