Geodesic
Unterstruktur-Invariante Formeln in der intuitionistischen Logik.
Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972), pp. 118-128.

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

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