Recursively enumerable sets and degrees : a study of computable functions and computably generated sets /

Recursive analysis /
Published: (1961)

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

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

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

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

Formal systems and recursive functions /
Published: (1965)

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

Formal systems and recursive functions ; proceedings /
Published: (1965)

Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems /
by: Murawski, Roman
Published: (1999)

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

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

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 functions /
by: Péter, Rózsa, 1905-1977
Published: (1967)

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

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

Recursion on the countable functionals /
by: Normann, Dag, 1947-
Published: (1980)

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 analysis.
by: Goodstein, R. L. (Reuben Louis)
Published: (1961)

Computable analysis : an introduction /
by: Weihrauch, K. (Klaus), 1943-
Published: (2000)

Algorithms and recursive functions /
by: Hancock, Malcolm
Published: (1970)

Computability with PASCAL /
by: Mallozzi, John S.
Published: (1984)

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

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

A recursive introduction to the theory of computation /
by: Smith, Carl H., 1950-
Published: (1994)

Generalized recursion theory II : proceedings of the 1977 Oslo Symposium /
Published: (1978)

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

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

Uncrackable data banks /
by: Shapiro, Norman Zalmon, 1932-
Published: (1973)

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

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

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

Recursive algorithms /
by: Lorentz, Richard
Published: (1994)

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