Theory of Formal Systems, volume 47 of Annals of Mathematical Studies (1961)

by R Smullyan