Sa 12 Bibliographie und Korrekturen für „Formalization“ ( dabei prüfe ich, ob Hermes recht hat, dass Gentzens Proof und Funktionskalkül vollständig in meinem Sinne ist; mir scheint nicht.) – Gebadet.
Processed with \(\mathsf{valep\TeX}\), Version 0.1, May 2024.
