Selbstreferenz, Tarski-Saetze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Saetze von Lindstroem(German, Paperback, unknown)