Lectures on non-standard analysis - Machover, Moshé (Lecture notes in mathematics, 1969)