Logic 2e C by Gary Mar, Donald Kalish & Robert J. Fogelin