Normal view
MARC view
- Кияткин, Владимир Ростиславович
Кияткин, Владимир Ростиславович (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Кияткин, Владимир Ростиславович., Исследование правил вывода в модальных логиках, расширяющих S4, 1999