KnaveOfAllTrades comments on Book Review: Computability and Logic