46Tagebuch 25. XII. 1941 – 25. XII. 1942 [Rudolf Carnap: Tagebücher], Eintrag Di 3. II. 1942

MS [II]B1943@Formalization of Logic, Cambridge MA, 1943 fertig!