Introduction to logic. (2012)