Reductive Logic and Proof-search: Proof Theory, Semantics, and Control, joint work with Eike Ritter, published by Oxford University Press in its Oxford Logic Guides series.

@book{PymRitterOLG:2004,
title={Reductive Logic and Proof-search: Proof Theory, Semantics, and Control},
author={David J. Pym and Eike Ritter},
series={Oxford Logic Guides},
volume={45},
publisher={Oxford University Press},
year={2004},
note={Errata and Remarks maintained at
\url{http://www.cs.bath.ac.uk/~pym/reductive-logic-errata.html}}
}


Errata and Remarks, last updated 15 December, 2005.

We are grateful to the readers who have kindly pointed out errors and corrections.