Title: Studies in the History of Mathematical Logic