Recursive analysis - Goodstein R L (1961)
Keywords: Mathematical logic; Mathematics