Text this: Foundations of mathematical logic