Vydania od Goodstein, David (Caltech & UCLA)