Item #00009958 Reductive Logic and Proof Search; Proof Theory, Semantics and Control. David J. Pym, Eike Ritter.

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 over boards with gold lettering on the boards and the spine, publisher's device in blind on the front board and in gilt on the spine, single gilt rule on the front board with three gilt 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. Item #00009958

Very near Fine with a bit of minor rubbing to the rear board.

Price: $100.00

See all items in COMPUTERS, Mathematics
See all items by ,