The approaches mentioned here are topics in Discrete Mathematics. One of the first topics taught there is logic and proofs.
Unfortunately mathematics is poorly taught and it’s books are also poorly written but do look up what you can find. The MathTutor on Youtube has a free playlist on Discrete Mathematics that you may like.