Формалдык логика - Other languages