Seol mar théacs é seo: Logicheskie metody issledovani︠i︡a diskretnykh modeleĭ vybora /