Universidad Nacional Autónoma de México
Catálogo de la Unidad de Documentación  del Centro de Ciencias Matemáticas, Morelia

Su búsqueda recuperó 9 resultados.

Ordenar
Resultados
Set theory : an introduction to independence proofs / Kenneth kunen

por Kunen, Kenneth [autor].

Series Studies in logic and the foundations of mathematics ; v. 102Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : North-holland, c1980Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1).

Relation algebras by games / Robin Hirsch, Ian Hodkinson

por Hirsch, Robin [autor] | Hodkinson, Ian [autor].

Series Studies in logic and the foundations of mathematics ; v. 147Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Amsterdam : North-holland/Elsevier, 2002Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA10 H57.

Relation algebras / Roger D. Maddux

por Maddux, Roger D, 1948- [autor].

Series Studies in logic and the foundations of mathematics ; v. 150Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : Elsevier, 2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA10 M33.

Model theory / C. c. chang, h. j. keisler

por Chang, Chen Chung [autor] | Keisler, H. Jerome [autor].

Series Studies in logic and the foundations of mathematics ; v. 73Edición: 3Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : North-holland, c1990Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (2).

Handbook of proof theory / edited by Samuel R. Buss

por Buss, Samuel R [editor].

Series Studies in logic and the foundations of mathematics ; v. 137Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Elsevier, 1998Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.54 H35.

Handbook of mathematical logic / Edited by jon barwise ; with the cooperation of h. j. keisler... y otros.!

por Barwise, Jon [autor].

Series Studies in logic and the foundations of mathematics ; 90Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : North-holland, 1977Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 B38.

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 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.

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 Texto; Forma literaria: No es ficción Editor: Amsterdam : North-holland, 1989Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.59 B5913.

Categorical logic and type theory / Bart Jacobs

por Jacobs, Bart [autor].

Series Studies in logic and the foundations of mathematics ; v. 141Tipo de material: Texto Texto; Forma literaria: No es ficción Idioma: ENG Editor: Amsterdam : Elsevier Science, 1999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 J33.

Páginas
¿No encuentras lo que estás buscando?

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