nonstandard analysis book recommendation

This one sounds like what you want:

Arkeryd, Cutland and Henson: Nonstandard Analysis, Theory and Applications.

I took a course as undergraduate which followed (parts of) this book - I first accompanied it with the more friendly written Goldblatt to get some feeling for the subject, then switched to this one, when I also started finding Goldblatt too "verbose". It found it very well readable.

Cutland has produced other enjoyable writings and there also is Loeb, Wolff: Nonstandard analysis for the working mathematician, which I haven't read but which follows a very similar agenda at a very similar pace, according to the table of contents.

Enjoy!

Nelson's Radically Elementary Probability Theory.

Hey, I just peeked at your MathOverflow page and saw that you are interested in "spatial and visual arguments". So I tell you something else (which you didn't ask for):

There also is another version of analysis with nilpotent infinitesimals, i.e. elements which are not zero, but some power of which is zero. In classical logic this contradicts the field axioms, but in intuitionistic logic it can be done. J.L. Bell's Primer of Infinitesimal Anlysis develops basic analysis on these grounds, by assuming (axiomatically) that you have something like the real numbers with nilpotents. Proofs become much easier even than in Nonstandard Analysis. Only in an appendix he addresses the existence of models for his axioms - they live in toposes.

As is very nicely laid out in the preface of Moerdijk/Reyes' "Models for Smooth Infinitesimal Analysis", it is these infinitesimals which were (implicitly) used by classical geometers like Cartan, and are (implicitly) used by physicists until today. They illustrate their point with a visual proof of Stokes' theorem using nilpotents.

In the settings of Moerdijk/Reyes (which are certain toposes) there also exist real numbers which combine the two kinds of infinitesimals, nilpotents and invertibles.