Mo 16 9:30-11:30 Bohnert hier. Er hat interessante Ideen über eine Doktor Diss über theoretische Sprache, mit Existenzquantoren. Basis ähnlich wie „Aufbau“; dann Existenzaussagen über Eigenschaften und Familien von solchen, usw.)
Processed with \(\mathsf{valep\TeX}\), Version 0.1, May 2024.
