The Elements of Mathematical Logic