Introduction to Elementary Mathematical Logic by A.A. Stoliar & Abram Aronovich Stolyar