Text this: Classical mathematical logic