Real analysis through modern infinitesimals - Vakil, Nader (Encyclopedia of mathematics and its applications; 140, 2011)