Introduction to the theory of logic. (2018)