A Beginner s Guide to Mathematical Logic, Raymond Smullyan, Dover, 2014. The method used here is similar to that first mentioned in this book - although Raymond is far more succinct and doesn't flog the issue as we do here. Click to Return