TY - SER AU - Фейс,Р. AU - Минц,Г.Е. TI - Модальная логика: пер PY - 1974/// CY - М. PB - Наука ER -