Terms containing first order logic

Subject	English	French
IT	first order logic	calcul des prédicats
IT	first order logic	logique de 1er ordre
IT	first order logic	logique des prédicats
IT	first order logic	calcul de prédicats
comp.	first-order logic	calcul des prédicats du premier ordre
comp.	first-order logic	calcul logique du premier échelon
IT	first-order predicate logic	logique de 1er ordre
IT	first-order predicate logic	logique des prédicats
IT	first-order predicate logic	calcul des prédicats
IT	first-order predicate logic	calcul de prédicats