predicate calculus

Subject	English	French
IT	first-order predicate calculus	calcul des prédicats
IT	first-order predicate calculus	logique de 1er ordre
IT	first-order predicate calculus	logique des prédicats
IT	first-order predicate calculus	calcul de prédicats
IT	predicate calculus	calcul de prédicats
IT	predicate calculus	logique des prédicats
IT	predicate calculus	logique de 1er ordre
IT	predicate calculus	calcul des prédicats
IT	predicate calculus language	langage de type calcul
IT	predicate calculus language	langage non procédural
IT	predicate calculus language	langage assertionnel
IT	second-order predicate calculus	logique d'ordre 2
IT	second-order predicate calculus	logique du deuxième ordre