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 offers several proof-heavy courses like 18.100 (Analysis) or 18.701 (Algebra), 18.090 serves as a preparatory laboratory. It focuses less on a massive syllabus of theorems and more on the and the art of communication . Core Curriculum Components