Text this: Algebraic methods of mathematical logic