Text this: A survey of mathematical logic /