In Church’s “A Formulation of the Simple Theory of Types” he says he is heavily indebted to Russell.