Title: Lecture Notes on Mathematical Logic