Showing Hardcover Book · Show all
Show unavailable items

Releases by Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol)

April 29, 2004

Cover for Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol) · Reductive Logic and Proof-search: Proof Theory, Semantics, and Control - Oxford Logic Guides (Hardcover Book) (2004)

Reductive Logic and Proof-search... (2004)

Pym, David J. (, Professor of Lo...