Theory of formal systems (1961)

by R M Smullyan