J. A Robinson's book has arrived, and here's the contents list.
I may post the Chapter 13 code of his Hyper-Resolution Theorem Prover (written in the most delightfully archaic Lisp) but there's so much, it will take a while.
[Update (Dec 22nd): Here it is (PDF)].
My really cool New Year Resolution: re-implement it in Common Lisp, in the modern style.