Introduction to elementary mathematical logic - Stolyar, A. A. (Abram Aronovich) (M.I.T. Press, 1970)