Computability Theory, Semantics, and Logic Programming
Oxford: Clarendon Press, 1987. First edition. Hardcover. 8vo. [5], vi-xi, [4], 4-198, [6] pp. Navy cloth with gold lettering on the boards and the spine, Oxford Science Publications device in gold on the front board. Volume 13 in the Oxford Logic Guides series. Series editors Dana Scott and John Shepherdson..... More







