Title: Fundamentals of Mathematical Logic