1. Solution of a problem of Leon Henkin;Löb;JSL,1955
2. Gödel's diagonalization technique and related properties of theories;MacIntyre,1973
3. C. Smorynski, Calculating Self-referential statements I, to appear
4. C. Smorynski, Beth's theorem and self-referential sentences, to appear
5. Provability interpretations of modal logic;Solovay;Israel J. Math.,1967