@article{GDZPPN002044196,
title = {Homomorphe-invariante Formeln in der intuitionistischen Logik.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
volume = {15},
year = {1972},
pages = {86-96},
zbl = {0251.02031},
url = {http://dml.mathdoc.fr/item/GDZPPN002044196}
}
Osswald, Horst. Homomorphe-invariante Formeln in der intuitionistischen Logik.. Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972) pp. 86-96. http://gdmltest.u-ga.fr/item/GDZPPN002044196/