TY - BOOK AU - Goodstein,R.L. TI - Recursive analysis U1 - 512 PY - 1961/// CY - Amsterdam PB - North-Holland Pub. KW - Recursion theory KW - Transfinite numbers N1 - Includes bibliographical references and index ER -