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

intuitionistic logic
.תקשור	直觉主义逻辑