Terms for subject Information technology containing second order logic

English	French
second order logic	logique du deuxième ordre
second order logic	logique d'ordre 2
second-order predicate logic	logique d'ordre 2
second-order predicate logic	logique du deuxième ordre