Matematika logiko - Aliaj lingvoj