[FOM] Goodstein's Theorem

[Martin Davis]

The link to Justin Miller's paper on Goodstein's Theorem
(http://www.u.arizona.edu/~miller/./thesis/thesis.ps) is broken.  Is
it available somewhere else?

Thanks,
William Heck