Generalized recursion theory. Proceedings of the 1972 Oslo symposium
Autor Corporativo: | Symposium on Generalized Recursion theory, Oslo, 1972 |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Amsterdam :
North Holland,
1974
|
Colección: | Studies in logic and the foundations of mathematics, 79
|
Materias: |
Ejemplares similares
-
Recursive function theory
Publicado: (1962) -
Recursion theory week : proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 /
por: Ambos, Spines K.
Publicado: (1964) -
Theory of recursive functions and effective computability /
por: Rogers, Hartley n. 1926-, et al.
Publicado: (1967) -
Recursive equivalence types /
por: Dekker, Jacob C.E. 1921 -, et al.
Publicado: (1960) -
Algorithms and recursive functions
por: Mal'tsev, Anatolii Ivanovich 1909-1967, et al.
Publicado: (1970)