Invia SMS: Grundzüge der theoretischen Logik