Schnittelimination in einem Teilsystem der einfachen Typenlogik. Wolfgang Bibel — 1969 Archiv für mathematische Logik und Grundlagenforschung