Cover Image

Random sets in subrecursive hierarchies /

Bibliographic Details
Main Author:	DiPaola, Robert A.
Corporate Author:	Rand Corporation
Format:	Book
Language:	English
Published:	Santa Monica, Calif. : Rand Corporation, [1968]
Series:	Memorandum (Rand Corporation) ; RM-5498-PR.
Subjects:	Sequences (Mathematics) Recursive functions.

Similar Items

Subrecursion : functions and hierarchies /
by: Rose, H. E.
Published: (1984)

Real numbers and functions in the Kleene hierarchy and limits of recursive, rational functions /
by: Shapiro, Norman Zalmon, 1932-
Published: (1969)

One equation to rule them all /
by: Davis, Martin, 1928-
Published: (1968)

Recursively countable subsets of recursive metric spaces /
by: Shapiro, Norman Zalmon, 1932-
Published: (1969)

Degrees of unsolvability /
by: Shoenfield, Joseph Robert
Published: (1971)

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets /
by: Soare, R. I. (Robert Irving), 1940-
Published: (1987)

Elementary induction on abstract structures /
by: Moschovakis, Yiannis N.
Published: (1974)

Recursive functionals /
by: Sanchis, Luis E.
Published: (1992)

Recursive analysis /
Published: (1961)

Set theory and hierarchy theory V : Bierutowice, Poland, 1976 : [proceedings] /
Published: (1977)

The foundations of intuitionistic mathematics : especially in relation to recursive functions /
by: Kleene, Stephen Cole, 1909-1994
Published: (1965)

Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierutowice, Poland, 1975 : [proceedings] /
Published: (1976)

Elementary induction on abstract structures /
by: Moschovakis, Yiannis N.
Published: (1974)

Recursive methods in economic dynamics /
by: Stokey, Nancy L.
Published: (1989)

Computability and logic /
by: Boolos, George
Published: (1974)

Minimum impatience theorems for recursive economic models /
by: Sorger, Gerhard, 1961-
Published: (1992)

Recursive function theory and logic.
by: Yasuhara, Ann
Published: (1971)

Primitiv-rekursive Funktionen in Peano-Algebren.
by: Hirschelmann, Arnulf
Published: (1969)

Computability and logic /
by: Boolos, George
Published: (1980)

Computability and logic.
by: Boolos, George
Published: (2002)

Computability and logic.
by: Boolos, George
Published: (2007)

Formal systems and recursive functions /
Published: (1965)

Computations in higher types /
by: Moldestad, Johan, 1946-
Published: (1977)

On recursive interconnection networks and their extensions /
by: Fernandes, Ronald
Published: (1992)

Recursive functions /
by: Péter, Rózsa, 1905-1977
Published: (1967)

Degrees of unsolvability.
by: Sacks, Gerald E.
Published: (1963)

Computability & unsolvability.
by: Davis, Martin, 1928-
Published: (1958)

Theory of recursive functions and effective computability.
by: Rogers, H. (Hartley), 1926-
Published: (1967)

Recursive analysis.
by: Goodstein, R. L. (Reuben Louis)
Published: (1961)

Recursiveness /
by: Eilenberg, Samuel
Published: (1970)

Recursive functionals /
by: Sanchis, Luis E.
Published: (1992)

Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einfuhrung in die Theorie der rekursiven Funktionen.
by: Hermes, Hans
Published: (1961)

Recursivite /
by: Azra, Jean-Pierre
Published: (1973)

Quotient-difference type generalizations of the power method and their analysis /
by: Sidi, Avram
Published: (1989)

Computations in higher types /
by: Moldestad, Johan, 1946-
Published: (1977)

Recursion-theoretic hierarchies /
by: Hinman, Peter G.
Published: (1978)

Computability /
by: Weihrauch, K. (Klaus), 1943-
Published: (1987)

Reflexive structures : an introduction to computability theory /
by: Sanchis, Luis E.
Published: (1988)

Computability /
by: Tourlakis, George J.
Published: (1984)

Algebraische und kombinatorische Aspekte der Harder-Narasimhan-Rekursion und ihrer Umkehrung /
by: Mersmann, Gerd
Published: (1998)