Title: Contributions to Non-Standard Analysis
Subjects: Computer science, mathematics