Fr 20 Letztes Seminar (Semantik; ausführliche Diskussion über Unterschied zwischen Problem über logisches Gerüst und Probleme über Existenz im Gerüst. „Sind die Zahlen real“ ist sinnlos.)
Processed with \(\mathsf{valep\TeX}\), Version 0.1, May 2024.
