Title: Elements of mathematical logic