Di 24 Kurz mit David in meinem Office (ich erkläre: Definition der theoretischen Terme mit Hilberts \(\varepsilon{}\)-Operator.) 3-5 Seminar (Ina fährt mich jetzt immer hin, und Chocchiarella zurück, weil nach 5 schon dunkel.)
Processed with \(\mathsf{valep\TeX}\), Version 0.1, May 2024.
