Smullyan's Gödel's Puzzle: From Logical Puzzles to the Incompleteness Theorems ‐ Mercari: Shop from Japan