Seol mar théacs é seo: Применение ЭВМ для решения задач математической логики: учебное пособие