Title: Nonstandard Analysis for the Working Mathematician
Subjects: Model theory