Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit; Abstrakte Semantik und algebraische Behandlung der Logik; Die beiden Sätze von Lindström