second order logic,second-order predicate calculus,second-order predicate logic /IT-TECH/
[DE] Prädikatenlogik 2.Ordnung
[EN] second order logic; second-order predicate calculus; second-order predicate logic
[FR] logique d' ordre 2; logique du deuxième ordre