Non-Standard Analysis# prerequisites (?): logic, model-theory References and Further Study# Keisler: Elementary Calculus: An Infinitesimal Approach …