Title: Logische Strukturen Beim Beweisen und Ihre Verbalisierung