Theory of Formal Systems (1961)

by R Smullyan
Venue:Annals of Mathematical Studies Vol 47