Title: Elementary modern logic