These brand-new recreational logic puzzles provide entertaining variations on G del's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability,... This description may be from another edition of this product.