It's Exactly What It Says on the Tin. Beginning with basic logic and set theory, it builds up to calculus, analysis, topology, and all that follows, using substitution to simplify the whole shebang. Here it is: Metamath
My posts make considerably more sense read in the voice of John Ratzenberger.
It's Exactly What It Says on the Tin. Beginning with basic logic and set theory, it builds up to calculus, analysis, topology, and all that follows, using substitution to simplify the whole shebang. Here it is: Metamath
My posts make considerably more sense read in the voice of John Ratzenberger.