English logic theory: переклад на інші мови