Geodesic
Homomorphe-invariante Formeln in der intuitionistischen Logik.
Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972), pp. 86-96.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

@article{AMLG_1972__15_137870,
     author = {Horst Osswald},
     title = {Homomorphe-invariante {Formeln} in der intuitionistischen {Logik.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {86--96},
     publisher = {mathdoc},
     volume = {15},
     year = {1972},
     zbl = {0251.02031},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1972__15_137870/}
}
TY  - JOUR
AU  - Horst Osswald
TI  - Homomorphe-invariante Formeln in der intuitionistischen Logik.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1972
SP  - 86
EP  - 96
VL  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1972__15_137870/
ID  - AMLG_1972__15_137870
ER  - 
%0 Journal Article
%A Horst Osswald
%T Homomorphe-invariante Formeln in der intuitionistischen Logik.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1972
%P 86-96
%V 15
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1972__15_137870/
%F AMLG_1972__15_137870
Horst Osswald. Homomorphe-invariante Formeln in der intuitionistischen Logik.. Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972), pp. 86-96. http://geodesic.mathdoc.fr/item/AMLG_1972__15_137870/