Geodesic
Intuitionistic modal logic with quantifiers
Portugaliae mathematica, Tome 7 (1948) no. 2, pp. 113-118.

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

Keywords: Philosophy and foundations of mathematics 
@article{PORMA_1948__7_2_114664,
     author = {Fitch, Frederic B.},
     title = {Intuitionistic modal logic with quantifiers},
     journal = {Portugaliae mathematica},
     pages = {113--118},
     publisher = {mathdoc},
     volume = {7},
     number = {2},
     year = {1948},
     mrnumber = {0029844},
     zbl = {0036.00804},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PORMA_1948__7_2_114664/}
}
TY  - JOUR
AU  - Fitch, Frederic B.
TI  - Intuitionistic modal logic with quantifiers
JO  - Portugaliae mathematica
PY  - 1948
SP  - 113
EP  - 118
VL  - 7
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PORMA_1948__7_2_114664/
LA  - en
ID  - PORMA_1948__7_2_114664
ER  - 
%0 Journal Article
%A Fitch, Frederic B.
%T Intuitionistic modal logic with quantifiers
%J Portugaliae mathematica
%D 1948
%P 113-118
%V 7
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PORMA_1948__7_2_114664/
%G en
%F PORMA_1948__7_2_114664
Fitch, Frederic B. Intuitionistic modal logic with quantifiers. Portugaliae mathematica, Tome 7 (1948) no. 2, pp. 113-118. http://geodesic.mathdoc.fr/item/PORMA_1948__7_2_114664/