Predicate logic the semantic foundations of logic. - Epstein, Richard L. 1947- (Wadsworth Thomson Learning, 2001)