Title: Beiträge zur Logik des Typusbegriffs