ریاضیاتی منطق - دیگر زبانیں