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

Pym, David J.; Ritter, Eike

Verlag: Clarendon Press, Oxford, 2004

Beschreibung

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. Bestandsnummer des Verkäufers 00009958

Bibliografische Details

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

Verlag: Clarendon Press, Oxford

Erscheinungsdatum: 2004

Einband: Hardcover

Zustand: Very near Fine

Zustand des Schutzumschlags: Schutzumschlag

Auflage: First edition.