Luis Cisneros Ake
Everything you need to learn from discrete is taught very well (induction proofs, set theory , equivalence classes... etc). He use's Vadim's book, luckily Vadim knows how to write damn well, and cisernos skips the more abstract sections. Overall, do the problems in Vadim's book save for the hard ones at the end and you can do well.