Ce înseamnă “calcul restrans al predicatelor”?

“calcul restrans al predicatelor” în Dicționar Român - Englez

  • restricted predicate calculus