TY  - BOOK
AU  - Фейс, Роберт
AU  - Минц, Г. Е.
TI  - Модальная логика
T2  - Математич. логика и основания математики
PY  - 1974///
CY  - Москва
PB  - Наука
KW  - მათემატიკა
KW  - მოდალური ლოგიკა
ER  -