A modern elementary logic. (2017)