Recursive analysis - Goodstein, Reuben Louis (Amsterdam: North Holland Pub., 1961)
Includes bibliography
Keywords: Recursive functions