Topics in metarecursion theory.

Bibliographic Details
Main Author:	Owings, James Claggett, 1940-
Language:	English
Published:	[Ithaca, N.Y.], 1966.
Subjects:	Recursive functions.
Dissertation Note:	Thesis Ph. D. Cornell University 1966.
Physical Description:	90 leaves
Format:	Thesis Book

Similar Items

Enumerability, decidability, computability; an introduction to the theory of recursive functions
by: Hermes, Hans
Published: (1965)

The Medvedev lattice of degrees of difficulty.
by: Poulsen, Birgit Truust
Published: (1970)

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

Récursivité
by: Azra, Jean-Pierre
Published: (1973)

Fonctions récursives.
by: Grzegorczyk, Andrzej
Published: (1961)

Computability theory: an introduction
by: Jones, Neil D.
Published: (1973)

Computability
by: Davis, Martin, 1928-
Published: (1974)

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

Les fonctions combinatoires et les isols
by: Dekker, J. C. E. (Jacob C. E.), 1921-
Published: (1966)

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

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einführung in die Theorie der rekursiven Funktionen.
by: Hermes, Hans
Published: (1971)

Enumerability, decidability, computability. : An introduction to the theory of recursive functions
by: Hermes, Hans
Published: (1969)

Rekursive Funktionen und ihre Komplexität
by: Schnorr, Claus P. (Claus Peter)
Published: (1974)

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

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

Computability and logic
by: Boolos, George
Published: (1989)

The undecidable ; basic papers on undecidable propositions, unsolvable problems and computable functions.
by: Davis, Martin, 1928-
Published: (1965)

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

Recursiveness
by: Eilenberg, Samuel
Published: (1970)

Generalized recursion theory. : Proceedings of the 1972 Oslo symposium
Published: (1974)

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979
Published: (1980)

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979
Published: (1980)

Rekursive Funktionen
by: Péter, Rózsa, 1905-1977
Published: (1957)

Theory of formal systems.
by: Smullyan, Raymond M.
Published: (1961)

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

Computability theory
by: Weber, Rebecca, 1977-
Published: (2012)

Computability theory
by: Weber, Rebecca, 1977-
Published: (2012)

Recursive functions in computer theory
by: Péter, Rózsa, 1905-1977
Published: (1981)

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

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

Degrees of unsolvability
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (1971)

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

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

Computability, an introduction to recursive function theory
by: Cutland, Nigel
Published: (1980)

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

Topics in mathematics for elementary school teachers
Published: (1964)

Real-time flutter identification
by: Roy, Richard
Published: (1985)

Super-recursive algorithms
by: Burgin, M. S. (Mark Semenovich)
Published: (2005)

Algorithms and recursive functions
by: Malʹt︠s︡ev, A. I. (Anatoliĭ Ivanovich), 1909-1967
Published: (1970)

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