The logic book - Bergmann, Merrie (New York: McGraw-Hill, 1990)
Keywords: Moor, James; Nelson, Jack; Predicate (logic); Logic, symbolic and mathematical