Ce înseamnă “calculul predicatelor de ordin superior”?

“calculul predicatelor de ordin superior” în Dicționar Român - Englez

  • higher predicate calculus