Text this: An algebraic introduction to mathematical logic/