The logic book - Bergmann, Merrie; Moor, James; Nelson, Jack (New York Mcgraw Hill, 2014)
Keywords: Logic; Symbolic and mathematical