Raymond M. Smullyan

"This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field"--Publisher's description.

Most of this book is indeed in the form of a narrative, and a good alternative title for it would be "The Mystery of the Monte Carlo Lock," since the last half concerns a case which inspector Craig of Scotland Yard must discover a combination that will open the lock of a safe in Monte Carlo to prevent a disaster.

A range of puzzles dealing with word play and logic, mathematics and philosophy, featuring Alice and the creatures of Wonderland.

This Book Needs No Title: A Budget of Living Paradoxes is a 1980 collection of essays about logic, paradoxes, and philosophy. From at Wikipedia

"Join the master sleuth as he and Dr. Watson examine interrupted chess matches at clubs and country homes, examining the pieces' current positions to identify previous moves. Rather than predicting the outcome of these games, the Baker Street duo focus on past events, using the same variety of logical reasoning that unlocks the secrets to their ever-popular mysteries. Holmes instructs Watson (and us) in the intricacies of retrograde analysis in order to deduce on which square the white queen was captured, whether a pawn has been promoted, and which piece has been replaced by a coin. The mysteries grow increasingly complex, culminating in a double murder perpetrated by the devious Professor Moriarty. Philosopher and logician Raymond Smullyan brilliantly recaptures the mood of Sir Arthur Conan Doyle's tales. Readers need only a knowledge of how the pieces move; the first puzzles explain all of the concepts that arise later on. These witty and challenging problems will captivate chess aficionados, puzzle enthusiasts, Sherlock Holmes fans, and everyone who relishes mysteries, crime stories, and tales of detection"--Cover (page 4).

"In his most critically acclaimed work, a well-known mathematician, magician, and author spins a logical labyrinth of more than 200 increasingly complex and challenging problems - puzzles that delve into some of the deepest paradoxes of logic and set theory. Solutions."The most original, most profound, and most humorous collection of recreational logic and math problems ever written." - Martin Gardner"--

Self-contained study guide to quantification theory based on the analytic tableaux.

iii, 284 pages ; 24 cm