RECURSIVE NUMBER THEORY - GOODSTEIN,R. L. (AMSRTERDAM NORTH HOLLAND PUBLISHING CO., 1957)