Introduction to Mathematical Logic and Type Theory