This review assumes the "Extra Quality" refers to a well-organized set of supplementary notes, problem sets with solutions, or a curated study guide based on MIT's course 18.090 (often a special topics or seminar-style course bridging computation and proof). If it refers to a specific third-party compilation, the review remains applicable to high-quality supplemental materials for MIT’s proof-centric intro courses.

Who Should Use This?

• Strongly recommended for: Students who freeze when asked to "prove" something; self-learners who’ve watched 3Blue1Brown but never written a rigorous proof.
• Not for: Absolute beginners who don’t know what a set is, or experts looking for advanced topics like real analysis or abstract algebra.

Introduction: The Hidden Curriculum of Mathematical Maturity

For most undergraduates, the transition from high school calculus to university-level proofs is a profound shock. You might have aced the AP Calculus BC exam, earned a 5, and even dabbled in some linear algebra. Yet, when you first encounter a course like 18.090: Introduction to Mathematical Reasoning at MIT, a strange thing happens. The numbers disappear. The equations become sparse. In their place appear cryptic symbols: ( \forall, \exists, \ni, \implies, \iff ). The questions no longer ask, “What is ( x )?” but rather, “Is this statement true for all integers?”

18.090 is not just another math class. It is a rite of passage. It is the course where aspiring mathematicians, computer scientists, and physicists learn to think rather than compute. This article explores the core curriculum of 18.090, the pedagogical philosophy behind it, and most importantly, how to enhance your learning with extra quality resources—textbooks, problem sets, and mental frameworks—that will ensure you don’t just pass the class, but master the art of mathematical reasoning.

A. The Ideal Textbook Suite

Primary Recommendation: How to Prove It: A Structured Approach by Daniel J. Velleman (3rd Edition).

• Why Extra Quality? Velleman teaches you how to design proofs. He introduces the "given-goal" diagram. If 18.090 lectures feel fast, this book is your patient tutor.
• Key Chapter for 18.090: Chapter 4 (Relations) and Chapter 6 (Mathematical Induction).

Secondary Recommendation (For the Ambitious): Book of Proof by Richard Hammack (Free online).

• Why Extra Quality? It is outrageously clear. Hammack’s explanation of the difference between "proof by contradiction" and "proof by contrapositive" is the best in print.
• Extra Quality Challenge: Read Hammack’s chapter on counting infinite sets before the MIT lecture on cardinality. You will walk into class already comprehending Hilbert’s Hotel.

Tertiary (The MIT Culture Pick): How to Solve It by George Pólya.

• This is not a textbook but a heuristic. Pólya’s four principles (Understand the problem, Devise a plan, Carry out the plan, Look back) are the meta-cognitive framework that separates a B-student from an A-student.