Reductive Logic and Proof Search; Proof Theory, Semantics and Control

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 on the spine. Volume 45 in the Oxford Logic Guides series. Series editors Angus MacIntyre, Dov M. Gabbay, and Dana Scott. As with most volumes in the series, this book was issued without a dust jacket. This monograph is focused on reductive logics (logics based on the notion of how, given a putative conclusion, a proof may be determined using a non-deterministic procedure choosing amongst possible premises). Reductive logics are of particular interest within the field of computation and the authors examine semantics and proof theory within this context as well as exploring both Intuitionistic and Classical proof systems. A very attractive copy. Very near Fine with a bit of minor rubbing to the rear board.