Su búsqueda recuperó 7 resultados.

Resultados
		The classical decision problem / Egon Borger, Erich Gradel, Yuri Gurevich por Börger, E. (Egon), 1946- [autor] \| Gradel, Erich [autor] \| Gurevich, Yuri [autor]. Series Perspectives in mathematical logicTipo de material: Texto; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.35 B67. Hacer reserva Agregar al carrito (remover)
		Computability in analysis and physics / MarIan b. pour-el, j. Ian richards por Pour-el, Marian Boykan, 1928- [autor] \| Richard, Jonathan Ian, 1936- [autor]. Series Perspectives in mathematical logicTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c1989Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA9.59 P68, ... Hacer reserva Agregar al carrito (remover)
		Finite model theory / Heinz-Dieter Ebbinghaus, Jorg Flum por Ebbinghaus, Heinz-Dieter, 1939- [autor] \| Flum, Jorg [autor]. Series Perspectives in mathematical logicEdición: 2nd ed. rev. and enl.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, 1999Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA9.7 E33 1999, ... Hacer reserva Agregar al carrito (remover)
		The higher infinite : large cardinals in set theory from their beginnings / Akihiro Kanamori por Kanamori, Akihiro [autor]. Series Perspectives in mathematical logicTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 1994Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 K353. Hacer reserva Agregar al carrito (remover)
		Higher recursion theory / Gerald e. sacks por Sacks, Gerald E [autor]. Series Perspectives in mathematical logicTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.6 S33. Hacer reserva Agregar al carrito (remover)
		Recursion-theoretic hierarchies / Peter G. Hinman por Hinman, Peter G [autor]. Series Perspectives in mathematical logicTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin ; New York : Springer Verlag, 1978Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.62 H55. Hacer reserva Agregar al carrito (remover)
		Subsystems of second order arithmetic / Stephen G. Simpson por Simpson, Stephen George, 1945- [autor]. Series Perspectives in mathematical logicTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin ; New York : Springer Verlag, c1999Disponibilidad: Ítems disponibles para préstamo: Libros (4)Clasificación: QA9.7 S55, ... Hacer reserva Agregar al carrito (remover)