Title: Algebraic Introduction to Mathematical Logic