Logic for computer science : foundations of automatic theorem proving - Gallier, Jean H. (New York, NY : Harper & Row, 1986)
Includes bibliographies and indexes.
Keywords: Automatic theorem proving; Logic, Symbolic and mathematical