Matematikai logika - További nyelvek