This latter version has quite a bit of extra content, particularly at the end where he is discussing how far it is possible to push the game within different ax

This latter version has quite a bit of extra content, particularly at the end where he is discussing how far it is possible to push the game within different axiom systems. The discussion of his proof on why BB(8000) can't be determined within ZF set theory is also very interesting.