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