Boone, W. W., and H. ,. Jr. Rogers. “ Whitehead and a Problem of Alonzo Church”. MATHEMATICA SCANDINAVICA 19 (June 1, 1966): 185–192. Accessed May 4, 2024. https://www.mscand.dk/article/view/10808.