Clausal form logic : an introduction to the logic of computer reasoning - Richards, Tom (Addison-Wesley, 1989)
Includes index.