Multidimensional inverse spectral theory, Borg-Levinson theorem