TY - BOOK AU - Ивлев,Юрий Васильевич TI - Содержательная семантика модальной логики PY - 1985/// CY - Москва PB - Изд-во Моск. ун-та KW - Логика. Теория познания. Учение о методологии ER -