This book presents an introduction into Robinson's nonstandard analysis, which is an application of model theory in analysis. Unlike some texts, it does not attempt to teach elementary calculus on the basis of nonstandard analysis, but points to some applications in more advanced analysis. These can hardly be obtained by standard methods such as a deeper investigation of Hahn-Banach limits or of finitely additive measures. The contents move from...