Apparently everyone uses either Discrete Mathematics and Its Applications by Kenneth H. Rosen or Discrete Mathematics with Applications by Susanna S. Epp. Are these really the best ones? Both are very long texts which make me think they're not rigorous and they're descriptive like Stewart’s calculus for example. Is there a discrete math text written rigorously? I appreciate any comment. Thanks in advance.