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ó 14 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
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).

Hacer reserva Agregar al carrito
Set theory / [Kenneth Kunen]

por Kunen, Kenneth [autor].

Series Studies in Logic : Mathematical logic and Foundations ; Volume 34Edición: Revised editionTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: London, UK : College Publications, 2013Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1).

Hacer reserva Agregar al carrito
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.

Hacer reserva Agregar al carrito
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.

Hacer reserva Agregar al carrito
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).

Hacer reserva Agregar al carrito
The lambda calculus : Its syntax and semantics / H. p. barendregt

por Barendregt, H. P. (Hendrik Pieter) [autor].

Series Studies in logic and the foundations fo mathematics ; v.103Edición: # rev. ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam, holanda : North-holland, 1984Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.5 B36 1984.

Hacer reserva Agregar al carrito
Incompleteness in the land of sets / Melvin Fitting

por Fitting, Melvin, 1942- [autor].

Series Studies in logic ; volume 5Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: London : College Publications, 2007Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 M45.

Hacer reserva Agregar al carrito
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.

Hacer reserva Agregar al carrito
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.

Hacer reserva Agregar al carrito
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.

Hacer reserva Agregar al carrito
Essays on set theory / Akihiro Kanamori

por Kanamori, Akihiro, 1948- [autor].

Series Studies in logic ; 89 | Mathematical logic and foundationsTipo de material: Texto Texto; Forma literaria: No es ficción Editor: [London] : College publications, 2021Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 K335.

Hacer reserva Agregar al carrito
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.

Hacer reserva Agregar al carrito
Combinatorial set theory : partition relations for cardinals / Paul Erdos ... [y otros.]

por Erdîos, Paul, 1913-1996 [colaborador].

Series Studies in logic and the foundation of mathematics ; v. 106Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam, North-Holland, [Holland] : 1984Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 C64.

Hacer reserva Agregar al carrito
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.

Hacer reserva Agregar al carrito
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