No doubt. I've had his A Beginner's Further Guide To Mathematical Logic for a while, and just ordered a copy of this book which I think is going to be awesome:
Raymond Smullyan on Self-Reference[1]
From the description:
This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this field.
I started reading this Wikipedia page and realized that his work has been even more important than I had previously realized. Definitely an interesting character in the history of math & logic.
Raymond Smullyan on Self-Reference[1]
From the description:
This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this field.
I started reading this Wikipedia page and realized that his work has been even more important than I had previously realized. Definitely an interesting character in the history of math & logic.
[1]: https://www.amazon.com/dp/331968731X?psc=1&smid=A1KIF2Y9A1PQ...