Формальная феноменология (исчисления и семантика)диссертация