Mi 16 Für Seminar gearbeitet (semantische Regeln für Extensionen in bezug auf Bewertung.) – Abends zusammen versucht, um, geht nicht. – Später 3 Nemb.
Processed with \(\mathsf{valep\TeX}\), Version 0.1, May 2024.
