Su búsqueda recuperó 7 resultados.

Resultados
		From sets and types to topology and analysis : towards practicable foundations for constructive mathematics / edited by Laura Crossila and Peter Schuster por Crosilla, Laura [editor] \| Schuster, Peter, 1966- [editor]. Series Oxford logic guides ; 48Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford : Clarendon Press, 2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.56 F76. Hacer reserva Agregar al carrito (remover)
		Foundations of constructive mathematics : Metamathematical studies / Michael j. beeson por Beeson, Michael J, 1945- [autor]. Series Ergebnisse der mathematik und ihrer grenzgebiete ; 3. folge, bd. 6Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c1985Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.56 B44. Hacer reserva Agregar al carrito (remover)
		Essays in constructive mathematics [recurso electrónico] / Harold M. Edwards por Edwards, Harold M \| SpringerLink (servicio en línea). Tipo de material: Archivo de ordenador; Formato: electrónico disponible en línea Detalles de publicación: New York, New York : Springer, 2005Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Constructive theory of functions = Kohctpyktnbhar teopnr oyhkunn / ed. by Blagoves Sendov ... [y otros.] por International Conference on Constructive theory of functions (1984 : Varna, Bulgaria) \| Sendov, Blagovest [editor.]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Sofia, Bulgaria : Bulgarian Academy of Sciences, 1984Otro título: Kohctpyktnbhar teopnr oyhkunn.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA320 I57 1984. Hacer reserva Agregar al carrito (remover)
		Constructibility and mathematical existence / Charels s. chihara por Chihara, Charles S, 1932- [autor]. Tipo de material: Texto; Formato: impreso Editor: Oxford : Clarendon Press, 1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA8.4 C45. Hacer reserva Agregar al carrito (remover)
		Constructibility and mathematical existence / Charels S. Chihara por Chihara, Charles S, 1932- [autor]. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Detalles de publicación: Oxford : New York : Clarendon Press ; Oxford University Press, c1990Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
		Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek por Krajicek, Jan [autor] \| University of Cambridge. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge Cambridge University Press, [England] : 1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.56 K73. Hacer reserva 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