Predicate Logic by Richard L. Epstein & L. Epstein Richard