seems strange that the notation of a combinatory logic would come from there.

not strange enough to be absurd but, strange enough to question why principa mathematica and not some significant logic research.