Books by Shawn Standefer
Logical Methods
An accessible introduction to philosophical logic, suitable for undergraduate courses and above.