1. G. Boolos, 1979, The Unprovability of Consistency, CUP, London.
2. S. Buss, 1985, Bounded Arithmetic, Thesis, Princeton University Press, Princeton. Reprinted: 1986, Bibliopolis, Napoli.
3. D. H. J. de Jongh and P. Veltman, 1988, Provability logics for relative interpretability, to appear in Proceedings of the Heyting Conference, Chaika, Bulgaria, 1988.
4. P. H�jek, 1981, Interpretability in theories containing arithmetic II, Commentationes Mathematicae Universitatis Caroline 22 (1981), pp. 667?688.
5. C. Smory?ski, 1985, Self-Reference and Modal Logic, Springer Verlag.