Real Analysis Through Modern Infinitesimals provides a course on mathematical analysis based on Internal Set Theory (IST) introduced by Edward Nelson in 1977. After motivating IST through an ...