Reading list: Proofs &amp; discrete mathematics