Raymond Smullyan on Self Reference Raymond Smullyan on Self Reference
2018
First-Order Modal Logic First-Order Modal Logic
2023