Logicians Who Reason About Themselves.

Raymond M. Smullyan

Browse the full TARK paper archive.