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...