I’ve read it. I found it extremely interesting and entertaining.
I’ve also taken graduate level logic courses from Larry Sklar, who, after spending two weeks talking us through the completeness and correctness theorems, announced, “there, we covered one of the more interesting and unintuitive aspects of the intersections of predicate logic and set theory. Now we can apply them, and nobody needs to bring up anything involving a 400 page completely vacuous book as a part of the conversation.”
I’ve read it. I found it extremely interesting and entertaining.
I’ve also taken graduate level logic courses from Larry Sklar, who, after spending two weeks talking us through the completeness and correctness theorems, announced, “there, we covered one of the more interesting and unintuitive aspects of the intersections of predicate logic and set theory. Now we can apply them, and nobody needs to bring up anything involving a 400 page completely vacuous book as a part of the conversation.”
And he was right.