The theory of transfinite effectivity.
Subtitle: Prepared for the U.S. Office of Naval Research, Information Systems Branch, under contract no. 62558-3510.
Contributors: United States. Office of Naval Research.
Series: [U.S.  Office of Naval Research]  Technical report, no. 12
Publisher: Applied Logic Branch, Hebrew University of Jerusalem
Published: 1963
Place of publication: Jerusalem, Israel
Language: eng
Number of pages: 123
Subjects: Recursive functions