What is Reddit's opinion of How to Prove It: A Structured Approach?

From 3.5 billion Reddit comments

High school courses won't do much to adequately prepare you for the transition into university level courses if you go to a public school, especially the math courses. I'd recommend some reading on math topics before you get here. Vellman's 'How To Prove It' is a good start and the MIT course on Linear Algebra (or any other first/second year compsci course on MIT OCW). The r/math subreddit will point you in the direction if you read the faq or search past threads. Also keep in mind, mathematics should be read slowly.

How to Prove It: A Structured Approach is a good supplement to Spivak. I also found Mathematical Proofs: A Transition to Advanced Mathematics, Analysis with an Introduction to Proof and Introduction to Analysis helpful supplements. I got them for free from the local library (they were throwing out old books).

I know a few people who highly recommend How to Prove It by Velleman. I've never read it so I can't say for sure. The first book I used to learn mathematical logic was Lay's Analysis with an Intro to Proof. I can't recommend that book enough. The first quarter of the book or so is a pretty gentle introduction to mathematical logic, sets, functions, and proof techniques. I imagine it will get you where you need to be pretty quickly.

One interesting book that you might (but not surely) be ready for is Basic Concepts of Mathematics. Its goal is, quoted from that page: "This book helps the student complete the transition from purely manipulative to rigorous mathematics". You also might like something like this. Another great book, if you're feeling ready for calculus, is Spivak's Calculus.

Also, would you like to keep correspondence with me? I'd be very glad to help you with proofs, etc. If yes, do you have any instant messangers? (you can PM me about that)