Terms for subject Information technology containing second order logic

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