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