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