A modern introduction to logic. (2018)