Выразительные возможности системы комбинаторной логики с операторами P и Πдипломная работа (Специалист)