Theory of formal systems. - Smullyan, R.M. (Princeton : Princeton University Press, 1961)