Strukturtypen der Logik. Tl.C

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

Език:

Корици: С меки корици

Издател: Springer, Berlin