Elementary induction on abstract structures /

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

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)

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

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

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

Recursive function theory. : [Proceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society].
Published: (1962)

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

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

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

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

Recursive number theory ; a development of recursive arithmetic in a logic-free equation calculus.
by: Goodstein, R. L. (Reuben Louis)
Published: (1957)

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

The induction book /
by: Weintraub, Steven H.
Published: (2017)

Computable economics : the Arne Ryde memorial lectures /
by: Velupillai, Kumaraswamy, 1947-
Published: (2000)

Uniform learning of recursive functions /
by: Zilles, Sandra, 1976-
Published: (2003)

Computable economics /
by: Velupillai, Kumaraswamy, 1947-
Published: (2000)

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

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

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

Recursive analysis /
Published: (1961)

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

Recursive aspects of descriptive set theory /
by: Mansfield, Richard, 1941-
Published: (1985)

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

Random sets in subrecursive hierarchies /
by: DiPaola, Robert A.
Published: (1968)

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

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

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

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

The method of mathematical induction /
by: Sominskii, I. S.
Published: (1963)

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

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

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

Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.
by: Goodstein, R. L. (Reuben Louis)
Published: (1957)