The logic book - Bergmann, Merrie; Moor, James 1942-.; Nelson, Jack 1944-. (Boston McGraw-Hill Higher Education, 2009)
Dr. Prospero Naval Jr. (recommending faculty) : CS 280 (subject)
Keywords: Logic, Symbolic and mathematical; Predicate (Logic).