Recursive analysis.

Détails bibliographiques
Auteur principal:	Goodstein, R. L. (Reuben Louis)
Format:	Livre
Langue:	English
Publié:	Amsterdam North-Holland Publishing 1961.
Sujets:	Recursion theory. Recursive functions.