Geodesic
On 2nd order intuitionistic propositional calculus with full comprehension.
Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974), pp. 177-186

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

Zbl 
Dov M. Gabbay. On 2nd order intuitionistic propositional calculus with full comprehension.. Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974), pp. 177-186. http://geodesic.mathdoc.fr/item/AMLG_1974__16_137894/
@article{AMLG_1974__16_137894,
     author = {Dov M. Gabbay},
     title = {On 2nd order intuitionistic propositional calculus with full comprehension.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {177--186},
     year = {1974},
     volume = {16},
     zbl = {0289.02016},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1974__16_137894/}
}
TY  - JOUR
AU  - Dov M. Gabbay
TI  - On 2nd order intuitionistic propositional calculus with full comprehension.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1974
SP  - 177
EP  - 186
VL  - 16
UR  - http://geodesic.mathdoc.fr/item/AMLG_1974__16_137894/
ID  - AMLG_1974__16_137894
ER  - 
%0 Journal Article
%A Dov M. Gabbay
%T On 2nd order intuitionistic propositional calculus with full comprehension.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1974
%P 177-186
%V 16
%U http://geodesic.mathdoc.fr/item/AMLG_1974__16_137894/
%F AMLG_1974__16_137894