Об алгебраических свойствах исчисления высказыванийдоклад на конференции