TY  - JOUR
AU  - Monteiro, António
TI  - Sur les algèbres de Heyting symétriques
JO  - Portugaliae mathematica
PY  - 1980
SP  - 1
EP  - 237
VL  - 39
IS  - 1-4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PORMA_1980__39_1-4_115416/
LA  - fr
ID  - PORMA_1980__39_1-4_115416
ER  -