Ce înseamnă “calcul constructiv al predicatelor”?

“calcul constructiv al predicatelor” în Dicționarul Român - Francez

  • calcul des predicats constructif