Logik der Syntax.