Fr 16 Good und Johnson gelesen (die von Savage angegebene Stelle, wo zum ersten Mal die Grundidee des \(\lambda{}\)-Systems auftaucht.)
Processed with \(\mathsf{valep\TeX}\), Version 0.1, May 2024.