Russell’s mathematical logic, [Schilpp (1944)