Text this: Perspectives on the history of mathematical logic /