Title: An introduction to modern logic