Clausal form logic an introduction to the logic of computer reasoning
Richards, Tom,1940-
Wokingham Addison-Wesley
1989
Includes bibliography and index
Electronic digital computers
Logic, Symbolic and mathematical.