Will_Sawin comments on Book Review: Computability and Logic

[Will_Sawin]

So that I can better update on this information, can you tell me what the first exercise is?