Solution of spectral problems by methods of symbolic logic