An introduction to logic. (2019)