30Tagebuch 1. VII. 1927 – 28. XII. 1927 [Rudolf Carnap: Tagebücher], Eintrag Sa 2. VII. 1927

Über Entscheidbarkeit der Arithmetik gearbeitet.1Vgl. TB 9. VI. 1927R.