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

second order logic מתח
מחש.	логика второго порядка; логика предикатов второго порядка