Nonstandard analysis, axiomatically
By: Vladimir Kanovei, Michael Reeken.
Publisher: Springer
Place of publication: Berlin
Number of pages: 408