This book introduces Robinson's nonstandard analysis, 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.