Logic 4e C by Robert Baum & Robert J. Baum