Title: Elements of modern logic