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

MS [II]B1943@Formalization of Logic, Cambridge MA, 1943 für Drucker fertig gemacht.5Carnap, Formalization of Logic.