University of Washington's Introduction to Mathematical Reasoning notes cover nearly identical topics to MIT's 18.090. Department of Mathematics | University of Washington sample proof problem
While MIT’s official subject listing notes that there is , the course historically relies on a gold-standard text widely used in transition-to-proof courses: Peter J. Eccles’ An Introduction to Mathematical Reasoning: Numbers, Sets, and Functions . : A central goal is mastering various methods
: A central goal is mastering various methods of proof, including direct proof, proof by contradiction, contraposition, and mathematical induction. It is specifically recommended for students who want
: The absolute foundation of advanced mathematical analysis. including direct proof
18.090 Introduction to Mathematical Reasoning is a foundational course at MIT designed to bridge the gap between calculation-based calculus and proof-based advanced mathematics. It is specifically recommended for students who want extra experience with proofs before taking rigorous subjects like Real Analysis (18.100) Algebra I (18.701) MIT Mathematics Course Highlights & Purpose