Title: Introduction to Mathematical Logic, Volume I