Charlie Steiner comments on Applied Mathematical Logic For The Practicing Researcher