Text this: Studies in the history of mathematical logic.