So 15 Draußen gesessen und geschrieben. (Conjunctive Normalform, mit Entscheidungsverfahren, für Modalitätslogik gefunden. Kalküle begonnen. Die Arbeit geht gut vorwärts.)hEs folgt ein leerer Eintrag mit Ina? im Datum.
Processed with \(\mathsf{valep\TeX}\), Version 0.1, May 2024.
