24 of 25 people found the following review helpful
A very good book but requires correction of typos,
This review is from: Godel's Incompleteness Theorems (Oxford Logic Guides) (Hardcover)
Raymond Smullyan is a logician that I admire much. This book is very good but contains many typos and mistakes. For example, in p.31, the definition of xPy does not work as it is not able to account for 0P305. The definition should be corrected as:
xPy iff There is z not greater than y (zBy and xEz). Similar mistakes can be found elsewhere. And this book thus requires another edition for the coorection of typos and mistakes.