Comment by vkazanov

I love, love, love Velleman's book.

I worked through it after uni years, and after working for a few years. It changed my perspective on proofs and math completely!

It showed how the language of logic combined set theory form a very small and comprehensible foundation for most of math.

After reading it and a few introductory-level books on number theory, calculus and combinatorics, most of CS proofs started feeling... cute.

Did I say I love "How to prove it"?