Logic for computer science:foundations of automatic theorem proving - Gallier, Jean H. (New York Dover Publication, 2015)
Keywords: Automatic theorem proving; Logic, Symbolic and mathematical