Seol mar théacs é seo: Studies in the history of mathematical logic.