Yiar comments on Applied Mathematical Logic For The Practicing Researcher