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

Pym, David J.; Ritter, Eike

Published by Clarendon Press, Oxford, 2004

About this Item

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 with a bit of minor rubbing to the rear board. Seller Inventory # 00009958

Bibliographic Details

Title: Reductive Logic and Proof Search; Proof ...

Publisher: Clarendon Press, Oxford

Publication Date: 2004

Binding: Hardcover

Condition: Very near Fine

Dust Jacket Condition: Dust Jacket Included

Edition: First edition.