Studies in the history of mathematical logic