I hear good things about this book “how to prove it” I also like Knuth’s art of computer programming book which is more about proving correctness of algorithms

I hear good things about this book “how to prove it” I also like Knuth’s art of computer programming book which is more about proving correctness of algorithms In general, stuff like combinatorics, algorithms, etc I find to have a low barrier to entry, so it’s a nice playground https://www.cambridge.org/highereducation/books/how-to-prove-it/6D2965D625C6836CD4A785A2C843B3DA#overview https://www.cambridge.org/highereducation/books/how-to-prove...