Su búsqueda recuperó 12 resultados.

Resultados
		The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions / edited by Martin Davis por Davis, Martin, 1928- [editor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Mineola, New York : Dover, 2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248.5 D36 2004. Hacer reserva Agregar al carrito (remover)
		Turing's revolution : the impact of his ideas about computability / Giovanni Sommaruga, Thomas Strahm, editors por Sommaruga, Giovanni [editor] \| Strahm, Thomas, (Thomas Adrian) [editor]. Tipo de material: Texto; Forma literaria: No es ficción Editor: Cham : Birkhäuser, [2015]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA29.T8 T87. Hacer reserva Agregar al carrito (remover)
		Theory of recursive functions and effective computability / Hartley Rogers por Rogers, Hartley, 1926- [autor]. Tipo de material: Texto; Formato: impreso Editor: Cambridge, Massachusetts : The MIT Press, 1987Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248.5 R6 1987. Hacer reserva Agregar al carrito (remover)
		Recursively enumerable sets and degrees : A study of computable functions and computably generated sets / Robert i. soare por Soare, Robert Irving, 1940- [autor]. Series Perspectives in mathematical logicTipo de material: Texto; Formato: impreso Editor: Berlin : Springer Verlag, c1987Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.615 S63. Hacer reserva Agregar al carrito (remover)
		A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability / Rod Downey, Noam Greenberg por Downey, R. G. (Rod G.) [autor] \| Greenberg, Noam, 1974- [autor]. Series Annals of mathematics studies ; number 206Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Princeton, New Jersey : Princeton University Press, 2020Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.63 D69. Hacer reserva Agregar al carrito (remover)
		Handbook of computability theory / edited by E.R. Griffor por Griffor, Edward R [editor]. Series Studies in logic and the foundations of mathematics ; v. 140Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Elsevier, 1999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.59 H35. Hacer reserva Agregar al carrito (remover)
		Lo demostrable e indemostrable / Yu I. Manin ; tr. del ruso, E. M. Kotenko por Manin, IU. I [autor] \| Kotenko, E.M [traductor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Moscu : Mir, c1981Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.615 M3518. Hacer reserva Agregar al carrito (remover)
		Computation and automata / Arto salomaa por Salomaa, Arto [autor] \| University of Cambridge. Series Encyclopedia of mathematics and its applications ; v. 25Tipo de material: Texto; Forma literaria: No es ficción Editor: Cambridge : Cambridge University Press, 1985Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.59 S35. Hacer reserva Agregar al carrito (remover)
		Computability theory / by S. Barry Cooper por Cooper, S. Barry [autor]. Series Chapman & Hall/CRC mathematicsTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Boca Raton, Florida : Chapman and Hall/CRC, c2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.59 C66. Hacer reserva Agregar al carrito (remover)
		Computability, complexity, logic / E. boger por Börger, E. (Egon), 1946- [autor] \| Börger, E. (Egon), 1946-. Berechenbarkeit, komplexitat, logik. Series Studies in logic and the foundations of mathematics ; v. 128Tipo de material: Texto; Forma literaria: No es ficción Editor: Amsterdam : North-holland, 1989Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.59 B5913. Hacer reserva Agregar al carrito (remover)
		Computability : Computable functions, logic, and the foundations of mathematics / Richard l. epstein, Walter a. carnielli por Epstein, Richard L, 1947- [autor] \| Carnielli, Walter Alexandre [autor]. Tipo de material: Texto; Formato: impreso Editor: Pacific grove, california : Wadsworth & Brooks/Cole Advanced Books & Software, c1989Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.59 E67. Hacer reserva Agregar al carrito (remover)
		Algorithmic randomness and complexity / Rodney G. Downey, Denis R. Hirschfeldt por Downey, R. G, (Rod G.) [autor] \| Hirschfeldt, Denis R [autor]. Series Theory and applications of computability, in cooperation with the association computability in europeTipo de material: Archivo de ordenador; Formato: electrónico disponible en línea Detalles de publicación: New York, New York : Springer, 2010Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Hacer una sugerencia de compra

Universidad Nacional Autónoma de México

Unidad de Documentación del Centro de Ciencias Matemáticas, Morelia

©2022 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad