Development of mathematical logic - Goodstein, Reuben 1912-1985 (Logos Pr., 1971)