Su búsqueda retornó 9 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi por Series Studies in logic and the foundations of mathematics
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Amsterdam : North-Holland, 1989
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 9.6 O35.1989.

Hacer reserva
Computability, complexity, logic / E. Börger por Series Studies in logic and the foundations of mathematics
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Amsterdam : North-Holland, c1989
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 9.59 B6713.1989.

Hacer reserva
Constructivism in mathematics : an introduction / A. S. Troelstra, D. van Dalen por Series Studies in logic and the foundations of mathematics ; 121
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Amsterdam : North-Holland, c1988
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 9.56 T74.

Hacer reserva
Proof theory / Gaisi Takeuti por Series Studies in logic and the foundations of mathematics ; v. 81
Edición: 2a. ed.
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Amsterdam : North-Holland
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 9.54 T34.1987.

Hacer reserva
No hay imagen de cubierta disponible
Theory of relations / R. Fraïssé por Series Studies in logic and the foundations of mathematics ; 118
Tipo de material: Texto Texto; Forma literaria: No es ficción
Idioma: Inglés
Detalles de publicación: Amsterdam : North-Holland, 1986
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 248 F775.1986.

Hacer reserva
Foundations of set theory / Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy ; with the collaboration of Dirk van Dalen por Series Studies in logic and the foundations of mathematics ; 67
Edición: 2nd ed.
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Amsterdam : North-Holland, 1984, c1973
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 248 F685.1973.

Hacer reserva
The Lambda calculus : its syntax and semantics / H. P. Barendregt por Series Studies in logic and the foundations of mathematics ;
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Amsterdam : North-Holland, c1984
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 9.5 B36.1984.

Hacer reserva
No hay imagen de cubierta disponible
Introduction to model theory and to the metamathematics of algebra / Abraham Robinson por Series Studies in logic and the foundations of mathematics
Tipo de material: Texto Texto; Forma literaria: No es ficción
Idioma: ENG
Detalles de publicación: Amsterdam : New York : North-Holand ; American Elsevier, 1963, 1974
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 162 R6.

Hacer reserva
No hay imagen de cubierta disponible
Momological statements and admissible operations / Hans Reichenbach por Series Studies in logic and the foundations of mathematics
Tipo de material: Texto Texto; Forma literaria: No es ficción
Idioma: ENG
Detalles de publicación: Amsterdam : North Holland, 1954
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 9 R4.

Hacer reserva
Páginas