Theorem Proving and Algebra, to be published
by MIT Press. The following are available: Chapter 1, Introduction and Chapter 8, First Order Logic, plus the References and the Table
of Contents. Chapter 8 (finished 15 September 1998) gives an elegant
algebraic exposition of first order logic, proof planning and induction; the
approach to induction is unusually general, and there are many examples.
This is still a draft and comments are welcome.