59Tagebuch 30. VIII. 1954 – 31. XII. 1956 [Rudolf Carnap: Tagebücher], Eintrag Sa 22. XII. 1956

12-3 Bohnert hier. Wir sitzen auf der Veranda. (Ich zeige ihm den Aufsatz von Ramsey, der Symbol in Klammern für theoretische Sprache anwendet.) – Angefangen eine neue Idee für Symbol für eine Familie: \(\lambda{}\) ändert sich mit zweistelliges Symbol; in Elementen. –§P fertig durchgelesen, und Teil diktiert.