Lectures on non-standard analysis - Machover, Moshe (Lecture notes in mathematics (Springer-Verlag), 1969)