Recursively enumerable sets and degrees : a study of computable functions and computably generated sets /
| Main Author: | Soare, R. I. (Robert Irving), 1940- |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
[1987]
|
| Series: | Perspectives in mathematical logic.
|
| Subjects: |
Similar Items
Recursive functionals /
by: Sanchis, Luis E.
Published: (1992)
by: Sanchis, Luis E.
Published: (1992)
Computability, an introduction to recursive function theory /
by: Cutland, Nigel
Published: (1980)
by: Cutland, Nigel
Published: (1980)
Recursive functionals /
by: Sanchis, Luis E.
Published: (1992)
by: Sanchis, Luis E.
Published: (1992)
Recursive functions in computer theory /
by: Péter, Rózsa, 1905-1977
Published: (1981)
by: Péter, Rózsa, 1905-1977
Published: (1981)
Recursive analysis /
Published: (1961)
Published: (1961)
Super-recursive algorithms /
by: Burgin, M. S. (Mark Semenovich)
Published: (2005)
by: Burgin, M. S. (Mark Semenovich)
Published: (2005)
Computability /
by: Weihrauch, K. (Klaus), 1943-
Published: (1987)
by: Weihrauch, K. (Klaus), 1943-
Published: (1987)
Computability /
by: Tourlakis, George J.
Published: (1984)
by: Tourlakis, George J.
Published: (1984)
Subrecursion : functions and hierarchies /
by: Rose, H. E.
Published: (1984)
by: Rose, H. E.
Published: (1984)
Formal systems and recursive functions /
Published: (1965)
Published: (1965)
Reflexive structures : an introduction to computability theory /
by: Sanchis, Luis E.
Published: (1988)
by: Sanchis, Luis E.
Published: (1988)
Formal systems and recursive functions ; proceedings /
Published: (1965)
Published: (1965)
Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems /
by: Murawski, Roman
Published: (1999)
by: Murawski, Roman
Published: (1999)
The foundations of intuitionistic mathematics : especially in relation to recursive functions /
by: Kleene, Stephen Cole, 1909-1994
Published: (1965)
by: Kleene, Stephen Cole, 1909-1994
Published: (1965)
Generalized recursion theory : Proceedings of the 1972 Oslo symposium /
Published: (1974)
Published: (1974)
Computability and logic /
by: Boolos, George
Published: (1980)
by: Boolos, George
Published: (1980)
Computability and logic.
by: Boolos, George
Published: (2002)
by: Boolos, George
Published: (2002)
Computability and logic.
by: Boolos, George
Published: (2007)
by: Boolos, George
Published: (2007)
Recursive functions /
by: Péter, Rózsa, 1905-1977
Published: (1967)
by: Péter, Rózsa, 1905-1977
Published: (1967)
Theory of recursive functions and effective computability.
by: Rogers, H. (Hartley), 1926-
Published: (1967)
by: Rogers, H. (Hartley), 1926-
Published: (1967)
Recursiveness /
by: Eilenberg, Samuel
Published: (1970)
by: Eilenberg, Samuel
Published: (1970)
Recursion on the countable functionals /
by: Normann, Dag, 1947-
Published: (1980)
by: Normann, Dag, 1947-
Published: (1980)
Enumerability, decidability, computability. : An introduction to the theory of recursive functions /
by: Hermes, Hans
Published: (1969)
by: Hermes, Hans
Published: (1969)
Enumerability, decidability, computability ; an introduction to the theory of recursive functions /
by: Hermes, Hans
Published: (1965)
by: Hermes, Hans
Published: (1965)
Recursive analysis.
by: Goodstein, R. L. (Reuben Louis)
Published: (1961)
by: Goodstein, R. L. (Reuben Louis)
Published: (1961)
Computable analysis : an introduction /
by: Weihrauch, K. (Klaus), 1943-
Published: (2000)
by: Weihrauch, K. (Klaus), 1943-
Published: (2000)
Algorithms and recursive functions /
by: Hancock, Malcolm
Published: (1970)
by: Hancock, Malcolm
Published: (1970)
Computability with PASCAL /
by: Mallozzi, John S.
Published: (1984)
by: Mallozzi, John S.
Published: (1984)
Elementary induction on abstract structures /
by: Moschovakis, Yiannis N.
Published: (1974)
by: Moschovakis, Yiannis N.
Published: (1974)
On recursive interconnection networks and their extensions /
by: Fernandes, Ronald
Published: (1992)
by: Fernandes, Ronald
Published: (1992)
A recursive introduction to the theory of computation /
by: Smith, Carl H., 1950-
Published: (1994)
by: Smith, Carl H., 1950-
Published: (1994)
Generalized recursion theory II : proceedings of the 1977 Oslo Symposium /
Published: (1978)
Published: (1978)
Recursive function theory. : [Proceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society].
Published: (1962)
Published: (1962)
Recursively countable subsets of recursive metric spaces /
by: Shapiro, Norman Zalmon, 1932-
Published: (1969)
by: Shapiro, Norman Zalmon, 1932-
Published: (1969)
Uncrackable data banks /
by: Shapiro, Norman Zalmon, 1932-
Published: (1973)
by: Shapiro, Norman Zalmon, 1932-
Published: (1973)
Degrees of unsolvability /
by: Shoenfield, Joseph Robert
Published: (1971)
by: Shoenfield, Joseph Robert
Published: (1971)