Symbolic Logic by Dale Jacquette