Recursively enumerable sets and degress : a study of computable functions and computably generated sets /
Autor principal: | Soare, Robert Irving 1940- (Autor, Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Berlín :
Springer,
c1987.
|
Colección: | Perspectives in mathematical logic
|
Materias: |
Ejemplares similares
-
Theory of recursive functions and effective computability /
por: Rogers, Hartley n. 1926-, et al.
Publicado: (1967) -
Enumerability, decidability, computability : an introduction to the theory of recursive functions /
por: Hermes, Hans, et al.
Publicado: (1985) -
Recursive function theory
Publicado: (1962) -
Algorithms and recursive functions
por: Mal'tsev, Anatolii Ivanovich 1909-1967, et al.
Publicado: (1970) -
Recursive equivalence types /
por: Dekker, Jacob C.E. 1921 -, et al.
Publicado: (1960)