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

système logique de déduction naturelle
.טכנול	natuurlijke deductie