Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik. Gerhard Gentzen (1974) Archiv für mathematische Logik und Grundlagenforschung
Undecidability of intuitionistic theories formulated with the apartness relation Dov Gabbay (1977) Fundamenta Mathematicae
Unterstruktur-Invariante Formeln in der intuitionistischen Logik. Horst Osswald (1972) Archiv für mathematische Logik und Grundlagenforschung