by Raymond M. Smullyan
This book provides an introduction to Kurt Godel's theorems through a collection of puzzles interspersed with an account of symbolic logic. Godel's argument has been transferr…