Logic for computer science : foundations of automatic theorem proving - Gallier, Jean H. (New York : John Wiley & Sons, 1987)
Includes index
1
Keywords: Automatic theorem proving; Logic, Symbolic and mathematical