Introduction to elementary mathematical logic / - Stoli͡ar, A. A. (M.I.T. Press,, 1970)