Saltar al contenido
VuFind
Lenguaje
English
Español
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Buscar
Enumerability, decidability, c...
Ejemplares similares
Citar
Enviar este por Correo electrónico
Imprimir
Exportar Registro
Exportar a RefWorks
Exportar a EndNoteWeb
Exportar a EndNote
Exportar a MARC
Exportar a RDF
Exportar a BibTeX
Exportar a RIS
Enumerability, decidability, computability : an introduction to the theory of recursive functions /
Detalles Bibliográficos
Autor principal:
Hermes, Hans
(Autor, Autor/a)
Formato:
Libro
Lenguaje:
English
Publicado:
New York :
Oxford University Press,
1985.
Materias:
FUNCIONES RECURSIVAS
ALGORITMOS
TEOREMA DE GODEL
Existencias
Descripción
Ejemplares similares
Vista Equipo
Ejemplares similares
The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
por: Davis, Martin 1928-
Publicado: (1965)
Recursively enumerable sets and degress : a study of computable functions and computably generated sets /
por: Soare, Robert Irving 1940-, et al.
Publicado: (1987)
Algorithms and recursive functions
por: Mal'tsev, Anatolii Ivanovich 1909-1967, et al.
Publicado: (1970)
Computability : an introduction to recursive function theory /
por: Cutland, Nigel, et al.
Publicado: (1980)
Algorithms and recursive fuctions /
por: Mal'Cev, A. I.
Publicado: (1970)
Theory of recursive functions and effective computability /
por: Rogers, Hartley n. 1926-, et al.
Publicado: (1967)
Recursive function theory
Publicado: (1962)
Undecidable theories /
por: Tarski, Alfred, et al.
Publicado: (1953)
Extensional Godel functional interpretation : a consistency proof of classical analysis.
por: Luckhardt, Horst, et al.
Publicado: (1964)
La Matemática Godeliana y sus implicaciones filosóficas
por: Korner, Stephan 1913-
Publicado: (1972)
El teorema de Gödel /
por: Nagel, Ernest n. 1901
Publicado: (2007)
La prueba de Gödel /
por: Newman, James Roy 1907-, et al.
Publicado: (1959)
El teorema de Goedel /
por: Díaz Estévez, Emilio, et al.
Publicado: (1975)
El Teorema de Godel
por: Nagel, Ernest
Publicado: (1970)
Generalized recursion theory. Proceedings of the 1972 Oslo symposium
Publicado: (1974)
Computational methods and function theory : proceedings of a Conference, held in Valparaiso, Chile, march 13-18, 1989 /
por: Ruscheweyh, S. T., et al.
Publicado: (1964)
Recursive equivalence types /
por: Dekker, Jacob C.E. 1921 -, et al.
Publicado: (1960)
Recursive Functions / by Rózsa Péter
por: Péter, Rózsa
The Philosophical significance of Goedel's theorem
por: Dummett, Michael 1925-2011, et al.
Publicado: (1963)
Computability /
por: Tourlakis, George J., et al.
Publicado: (1984)
A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers /
por: Bouvere, Karel Louis de, et al.
Publicado: (1959)
Computability and unsolvability
por: Davis, Martin 1928-, et al.
Publicado: (1958)
Recursion theory week : proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 /
por: Ambos, Spines K.
Publicado: (1964)
Computations in higher types /
por: Moldestad, John 1946-, et al.
Publicado: (1964)
The foundations of intuitionistic mathematics: especially in relation to recursive functions /
por: Kleene, Stephen Cole 1909-, et al.
Publicado: (1965)
El teorema del Godel / Ernest Nagel y James R. Newman
por: Nagel, Ernest
Recursive macroeconomic theory /
por: Ljungqvist, Lars, et al.
Publicado: (2000)
Equivalencia recursiva /
por: Dekker, Jacob C.E. 1921 -, et al.
Publicado: (1976)
Planos afines con operaciones recursivas /
por: Dekker, Jacob C.E. 1921 -, et al.
Implicaciones teórico-filosóficas del teorema de Goedel en el paradigma racionalista de la reflexión sobre las matemáticas /
por: Ruiz Zúñiga, Angel 1954-
A programming approach to computability /
por: Arbib, Michael A., et al.
Publicado: (1968)
Sobre recursión con objetos grandotes /
por: Lambert Martin, William, et al.
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
por: Mostowski, Andrzej, et al.
Publicado: (1964)
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
por: Richter, Michael M., et al.
Publicado: (1964)
Ordenadores y números naturales /
por: Rayo, Agustín
Conditional relationships /
por: Kreiner, Svend, et al.
Publicado: (1989)
Theory of formal systems /
por: Smullyan, Raymond M.
Publicado: (1961)
Degrees of unsolvability /
por: Sacks, Gerald E., et al.
Publicado: (1963)
Perspectives in computation /
por: Geroch, Robert, et al.
Publicado: (2009)
Aritmética recursiva y algunas de sus aplicaciones /
por: Piza Volio, Eduardo 1955-, et al.
Publicado: (2001)
Ejemplares similares
The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
por: Davis, Martin 1928-
Publicado: (1965)
Recursively enumerable sets and degress : a study of computable functions and computably generated sets /
por: Soare, Robert Irving 1940-, et al.
Publicado: (1987)
Algorithms and recursive functions
por: Mal'tsev, Anatolii Ivanovich 1909-1967, et al.
Publicado: (1970)
Computability : an introduction to recursive function theory /
por: Cutland, Nigel, et al.
Publicado: (1980)
Algorithms and recursive fuctions /
por: Mal'Cev, A. I.
Publicado: (1970)
×
Cargando...
