Gvaerg comments on Book Review: Computability and Logic

[Gvaerg]

Thanks, I’ll check them out.