Real Analysis Theorems & Definitions: Notes for Applying the Moore Method

[CMoore]

Can anyone recommend notes or a book that contains only the theorems and definitions of real analysis in a logical sequence to which the Moore Method could be applied?

Thank You.

 

[arildno]

I've just skimmed the following link; perhaps it is of some help:
http://www.discovery.utexas.edu/rlm/reference/mahavier1.html

 

[CMoore]

Thanks, but that's really not what I'm looking for. What I'm looking for is a logical sequence of definitions and theorems that begins with, say, the Peano postulates, works its way through the construction of real numbers and lists theorems on sequences, limits, derivatives, etc. The idea of this would be for the student (me) to supply the proofs (insofar as that is possible).