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