Abram Aronovich Stoliar

• Introduction to elementary mathematical logic