An Introduction to Logic by Wayne A. Davis