Методы доказательства эквивалентности генерических ЛС

Методы доказательства эквивалентности генерических ЛС