Title: a contemporary introduction to logic