1. Formalization of a semantic proof of Gödel’s incompleteness theorem;Askanas;J. Symb. Log.,1975
2. De la Grèce à l'Inde;Aurobindo,1976
3. The Unprovability of Consistency;Boolos,1979
4. On systems of modal logic with provability interpretations;Boolos;Theoria,1980