<p>SO...can someone at caltech help me...I'm considering learning some theoretical math just to fill up time while im bored at work but I've only had exposure up to multivariable calculus (not proof based, just normal). I'm looking at Apostol and Spivak's Calculus book, but unfortunately my library doesn't have those books (sorry im cheap). Can someone suggest other math books that are intro to proofs like spivaks/apostol? Will Rudin's "Introduction to Analysis" be a good start for me or will it be too advanced? Also looking at this book:</p>
<p>Volume 1 and 2 of AoPS</p>
<p>It doesn't have any calculus but teaches you how to write proofs.</p>
<p>DS1 has Spivak and likes it a lot.</p>