Logica mathematica - Other languages