Nonstandard methods and applications in mathematics by Cutland, Nigel, Di Nasso, Mauro, Ross, David A. fromLecture notes in logic 0 Type: Book