Matematična logika – Drugi jeziki