Smith  An Introduction to Formal Logic  2nd ed. (2020)