Course in mathematical logic. - Manin Yu I (Berlin Springer-Verlag, 1977)