Matematiksel mantık - Diğer diller