Professor of Logic & Computation David J Pym

1 book • 1 series

Jan 1, 2004
Cover of Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45.

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45. (Oxford Logic Guides)