אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית ספרדית פורטוגלית פינית צרפתית שוודית +

second-order predicate logic
.טכנול	prædikatskalkyle af anden orden; anden ordens logik; anden ordens prædikatskalkyle; logik af anden orden