Introduction to Symbolic Logic by Eric Ju Kao