The book I linked to uses http://en.wikipedia.org/wiki/Smooth_infinitesimal_analysis (a quite different approach). I haven't studied nonstandard analysis.