TY  - JOUR
AU  - Omodeo, Eugenio Giovanni
TI  - The elimination of descriptions from A. Bressan’s modal language $ML^\nu $ on which the logical calculus $MC^\nu $ is based
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1976
SP  - 269
EP  - 292
VL  - 56
PB  - Seminario Matematico of the University of Padua
UR  - http://www.numdam.org/item/RSMUP_1976__56__269_0/
LA  - en
ID  - RSMUP_1976__56__269_0
ER  -