Johnsen, E. Raymond M. Smullyan: Theory of Formal Systems. Princeton University Press, Princeton, N. J. 1961. 142 S. Pris: $ 3.00. le 1962, 26.