Introduction to elementary mathematical logic - Stolyar, Abram Aronovich (New York Dover Publications, 1970)
Keywords: Logic, Symbolic and mathematical