Andrews, James H.
Logic Programming : Operational Semantics and Proof Theory - Cambridge CUP 1992 - 104p - Distinguished Dissertations in Computer Science .
0 521 43219 7
681.3 AND
Logic Programming : Operational Semantics and Proof Theory - Cambridge CUP 1992 - 104p - Distinguished Dissertations in Computer Science .
0 521 43219 7
681.3 AND