A course in mathematical logic for mathematicians - Manin, IU I. (Springer-Verlag, 1977)