First Course In Logic by Kyle Carter