The book “A Logical Approach to Discrete Math” by David Gries is excellent for learning math on a theoretical level, and for understanding proofs.
I have found that writing software that automatically solves elementary algebra equations using the techniques humans use is also a very good method for understand how math works at a deep level. Here is a demo of a step-by-step equation solver that I am currently writing:
I have found that writing software that automatically solves elementary algebra equations using the techniques humans use is also a very good method for understand how math works at a deep level. Here is a demo of a step-by-step equation solver that I am currently writing:
https://youtu.be/cy6bwNBkAK0
Contact me by email if you are interested in learning more about either of these options (my email address is in my profile).