To Mock a Mockingbird

"To Mock a Mockingbird is Raymond Smullyan's tour of combinatory logic, translated into ingenious logic puzzles. After an introductory section with elementary problems set in Smullyan's wonderful world of knights who always tell the truth and knaves who always lie, we embark upon the main adventure, which Smullyan playfully casts into a realm of enchanted forests, talking birds and bird sociologists, and are led through puzzles of increasing complexity until we reach the Master Forest and-thanks to Gödel's famous theorem-a final revelation. To Mock a Mockingbird will delight all puzzle lovers-curious neophytes as well as serious students of logic, mathematics, or computer science. This corrected and newly typeset edition includes a foreword by Prof. Melvin Fitting"--