Terms containing predicate logic

Subject	English	French
IT	clause form of predicate logic	forme clausale en logique de prédicats
IT	first-order predicate logic	calcul des prédicats
IT	first-order predicate logic	logique de 1er ordre
IT	first-order predicate logic	logique des prédicats
IT	first-order predicate logic	calcul de prédicats
IT	predicate logic	logique des prédicats
IT	predicate logic	calcul des prédicats
IT	predicate logic	logique de 1er ordre
IT	predicate logic	calcul de prédicats
IT	second-order predicate logic	logique d'ordre 2
IT	second-order predicate logic	logique du deuxième ordre