Recursive analysis - Goodstein R L (Amsterdam North-Holland, 1961)
Keywords: Recursion theory