Lectures on the hyperreals : an introduction to nonstandard analysis - Goldblatt, Robert (Graduate texts in mathematics, 1998)