SMS: Grundlegung der Logik