Terms containing second order logic

Subject	English	French
comp.	second order logic	logique de deuxième ordre
IT	second order logic	logique du deuxième ordre
IT	second order logic	logique d'ordre 2
comp.	second order logic	logique de second ordre
IT	second-order predicate logic	logique d'ordre 2
IT	second-order predicate logic	logique du deuxième ordre