Մաթեմատիկական տրամաբանություն - Այլ լեզուներ