Logic for mathematics and computer science - BURRIS (New Jersey: Prentice Hall, 1998)
Keywords: Logic, Symbolic and mathematical