"Lectures on Non-Standard Analysis" - читать интересную книгу автора (Moshe Machover, Joram Hirschfeld)