Predicate logic - Epstein, Richard L. 1947- (The Semantic foundations of logic, 2001)