Essentially a lite version of Velleman's _How to Prove It_? I don't think you learn mathematical thinking very well by hearing it described. I think you learn

Essentially a lite version of Velleman's _How to Prove It_? I don't think you learn mathematical thinking very well by hearing it described. I think you learn it by immersing yourself in mathematical logic, and then proofs (basic proofs, any proofs). Formal math usually appears in HS geometry starting with truth tables and logical operators, not as a long-winded explanation of how you should think about geometry from a math perspective.