Geodesic
Disjunctive properties of intuitionistic systems.
Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974), pp. 147-158

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

Zbl 
B. Scarpellini. Disjunctive properties of intuitionistic systems.. Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974), pp. 147-158. http://geodesic.mathdoc.fr/item/AMLG_1974__16_137892/
@article{AMLG_1974__16_137892,
     author = {B. Scarpellini},
     title = {Disjunctive properties of intuitionistic systems.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {147--158},
     year = {1974},
     volume = {16},
     zbl = {0299.02035},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1974__16_137892/}
}
TY  - JOUR
AU  - B. Scarpellini
TI  - Disjunctive properties of intuitionistic systems.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1974
SP  - 147
EP  - 158
VL  - 16
UR  - http://geodesic.mathdoc.fr/item/AMLG_1974__16_137892/
ID  - AMLG_1974__16_137892
ER  - 
%0 Journal Article
%A B. Scarpellini
%T Disjunctive properties of intuitionistic systems.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1974
%P 147-158
%V 16
%U http://geodesic.mathdoc.fr/item/AMLG_1974__16_137892/
%F AMLG_1974__16_137892