Gunnar_Zarncke comments on Applied Mathematical Logic For The Practicing Researcher