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 transferred from the formal domain... This description may be from another edition of this product.