Introduction to elementary mathematical logic - Stolyar, A. A. (Abram Aronovich) (Dover Publications, 1983)