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