An Algebraic Introduction to Mathematical Logic