10-2 Mathews und Kuhns hier. (Über \(\lambda{}\) und Logik von \(\sum{}\)); wir halten sie für Lunch. – Nachmittags noch über \(\lambda{}\) gearbeitet. (Ina fährt abends zu Kaplans, bringt ihnen gebratene Gans; Iona ist gestern vom Hospital nach Operation nach Hause gekommen.)
