Văn bản này: Studies in the history of mathematical logic.