Clausal form logic : an introduction to the logic of computer reasoning - Richards, Tom (Sydney : Addison-Wesley, 1989)
Includes index.
Keywords: Artificial intelligence; Expert systems (Computer science); Logic, Symbolic and mathematical; Reasoning