Boone, W. W., and H. ,. Jr. Rogers. 1966. “ Whitehead and a Problem of Alonzo Church”. MATHEMATICA SCANDINAVICA 19 (June):185-92. https://doi.org/10.7146/math.scand.a-10808.