Add Gödel's Manuscript and the paper by Anderson and Gettings