TY  - BOOK
AU  - Проченков И.В.
TI  - Семантика модальных и интенсиональных логик: Сб. статей 
PY  - 1981///
CY  - М.
PB  - Прогресс
KW  - მოდალური და ინტენსიური ლოგიკა
ER  -