33Tagebuch 31. XII. 1929 – 6. I. 1931 [Rudolf Carnap: Tagebücher], Eintrag Di 11. II. 1930

Gearbeitet „Über die verzweigte Typentheorie (WeylsPWeyl, Hermann, 1885–1955, dt.-am. Mathematiker und Physikercirc. vit.)“.B1931@„Die logizistische Grundlegung der Mathematik“, Erkenntnis 2, 1931, 91–10514Vgl. Carnap, „Die logizistische Grundlegung der Mathematik“, Abschnitt 3.