Archivmaterialien zu Abraham Robinson, 1918-1974 - Robinson, Abraham