1. God, The Devil and Gödel;Benacerraf;The Monist,1963
2. The Unprovability of Consistency;George,1979
3. Logical Consequence in Modal Logic II: Some Semantic Systems for S4;Corcoran;Notre Dame Journal of Formal Logic,1974
4. Eine Interpretation des Intuitionistischen Aussagenkalkus;Gödel;Ergebnisse eines mathematischen Kolloquiums,1932
5. Epistemic Arithematic is a Conservative Extension of Intuitionistic Arithmetic;Goodman;Journal of Symbolic Logic,1984