Computability Theory, Semantics, and Logic Programming
Fitting, Melvin
Computability Theory, Semantics, and Logic Programming - New York Oxford University Press 1987 - Oxford Logic Guides .
0195036913
Computability Theory, Semantics, and Logic Programming - New York Oxford University Press 1987 - Oxford Logic Guides .
0195036913