The Logic of Sequences: A Generalization of Principia Mathematica — doctoral dissertation by Willard Quine