Errata for the monograph by Pym and Ritter entitled "Reductive Logic and Proof-search"

Errata and Remarks as of 15 December 2005. .

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

Home Index

+++++++++++++++++++++++++++

Page maintained by E.Ritter@cs.bham.ac.uk

Last modified: Thu Jun 16 16:27:05 BST 2005