TY  - JOUR
AU  - Dosen, Kosta
TI  - Minimal modal systems in which Heyting and classical logic can be embedded.
JO  - Publications de l 'Institut Mathématique. Nouvelle Série
PY  - 1981
SP  - 41
VL  - 30(44)
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/PIM2_1981__30(44)_257591/
LA  - en
ID  - PIM2_1981__30(44)_257591
ER  -