Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / Robert I. Soare.

Bibliographic Details
Uniform Title:	Perspectives in mathematical logic.
Main Author:	Soare, R. I. (Robert Irving), 1940-
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1987], ©1987.
Series:	Perspectives in mathematical logic.
Subjects:	Recursive functions. Computable functions.
Physical Description:	xviii, 437 pages : illustrations ; 25 cm.
Format:	Book

Similar Items

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

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

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

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)

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

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

Proof and computations
by: Schwichtenberg, Helmut, 1942-
Published: (2012)

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

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

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

An introduction to computable analysis
by: Weihrauch, K. (Klaus), 1943-
Published: (2000)

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

Computability, enumerability, unsolvability : directions in recursion theory
Published: (1996)

Computability, enumerability, unsolvability : directions in recursion theory
Published: (1996)

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

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

Classical recursion theory : the theory of functions and sets of natural numbers
by: Odifreddi, Piergiorgio, 1950-
Published: (1989)

Recursion theory
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (1993)

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

Thinking recursively
by: Roberts, Eric
Published: (1986)

Recursive functions and finite automata
by: Keeney, Martin Glen
Published: (1960)

Recursive functions and finite automata
by: Keeney, Martin Glen
Published: (1960)

Higher recursion theory
by: Sacks, Gerald E.
Published: (1990)

Algebraic recursion theory
by: Ivanov, L. L. (Ljubomir Lalov), 1952-
Published: (1986)

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

Classical recursion theory. Volume 2
by: Odifreddi, Piergiorgio, 1950-
Published: (1999)

General recursion theory : an axiomatic approach
by: Fenstad, Jens Erik
Published: (1980)

Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (1993)

Handbook of recursive mathematics
Published: (1998)

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

On the formal specification of recursive functions
by: Galsterer, Maureen Green
Published: (1995)

On the formal specification of recursive functions
by: Galsterer, Maureen Green
Published: (1995)

Minimal weak truth table degrees and computably enumerable Turing degrees
by: Downey, R. G. (Rod G.), et al.
Published: (2020)

Fundamentals of generalized recursion theory
by: Fitting, Melvin, 1942-
Published: (1981)

Recursive procedures
by: Bakker, J. W. de (Jacobus Willem), 1939-
Published: (1971)

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