So 14 MS SemantikB1943@Formalization of Logic, Cambridge MA, 1943 für Druck vorbereitet. Ina hat noch alle Ergänzungen getippt. 🕮
Processed with \(\mathsf{valep\TeX}\), Version 0.1, May 2024.