Predicate Logic by Richard L. Epstein