Homomorphe-invariante Formeln in der intuitionistischen Logik. Horst Osswald (1972) Archiv für mathematische Logik und Grundlagenforschung