The classic "Foundations of Analysis" by Edmund Landau. It pedantically and very carefully derives elementary properties of integers, rationals, etc., from Peano axioms. Or is it too formal?
|
1 | [made Community Wiki] | ||
|
|
||||
