Recursive analysis.

Библиографические подробности
Главный автор:	Goodstein, R. L. (Reuben Louis)
Формат:	‌
Язык:	English
Опубликовано:	Amsterdam North-Holland Publishing 1961.
Предметы:	Recursion theory. Recursive functions.