Terms containing second order logic

Subject	English	Danish
IT	second order logic	anden ordens prædikatskalkyle
IT	second order logic	prædikatskalkyle af anden orden
IT	second order logic	logik af anden orden
IT	second order logic	anden ordens logik
IT	second-order predicate logic	anden ordens logik
IT	second-order predicate logic	logik af anden orden
IT	second-order predicate logic	anden ordens prædikatskalkyle
IT	second-order predicate logic	prædikatskalkyle af anden orden