Text this: The development of mathematical logic.