Theory of Formal Systems (1961)

by R Smullyan