An Introduction to Formal Logic(2020) [pdf]