Reductive Logic and Proof Search; Proof Theory, Semantics and Control
Oxford: Clarendon Press, 2004. First edition. Hardcover. 8vo. [5], vi-xv, [4], 2-208, [4] pp. Navy cloth with gold lettering on the boards and the spine, publisher's device in blind on the front board and in gold on the spine, single gold rule on the front board with three gold rules..... More
