Text this: The Elements of mathematical logic