There are good reasons to believe that nonstandard analysis, in some ver- sion or other, will be the analysis of the future. KURT GODEL This book is a compilation and development of lecture notes written for a course on nonstandard analysis that I have now taught several times. Students taking the course have typically received previous introductions to standard real analysis and abstract algebra, but few have studied formal logic. Most of the notes have been used several times in class and revised in the light of that experience. The earlier chapters could be used as the basis of a course at...