How To Prove It A Structured Approach - Vellem, Daniel J. (New York : Cambridge University, 2006)
Includes index
Keywords: Logic Symbolic and mathematical