33Tagebuch 31. XII. 1929 – 6. I. 1931 [Rudolf Carnap: Tagebücher], Eintrag Fr 5. IX. 1930

Fr 5 9^hmein Vortrag „Die Grundgedanken des Logizismus“B1931@„Die logizistische Grundlegung der Mathematik“, Erkenntnis 2, 1931, 91–105;111Carnap, „Die logizistische Grundlegung der Mathematik“. gelingt gut. HeytingPHeyting, Arend, 1898-1980, niederl. Mathematiker über IntuitionismusBHeyting, Arend!1931@„Die intuitionistische Grundlegung der Mathematik“, Erkenntnis 2, 1931, 106-115, von NeumannPNeumann, John (Johann) von, 1903–1957, ung.-am. Mathematiker über FormalismusBNeumann, John von!1931@„Die formalistische Grundlegung der Mathematik“, Erkenntnis 2, 1931, 116-121.