Universidad Nacional Autónoma de México
Facultad de Ingeniería. Posgrado
Catálogo de la Biblioteca "Dr. Enzo Levi”

Su búsqueda recuperó 7 resultados.

Ordenar
Resultados
Classification theory and the number of non-isomorphic models / S. shelah

por Shelah, S [autor].

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

Distribution models theory / edited by Rafael Herrerías-Pleguezuelo, José Callejón-Céspedes, and José Manuel [sic.] Herrerías--Velasco

por Herrerías-Pleguezuelo, Rafael [editor] | Callejón-Céspedes, José [editor] | Herrerías--Velasco, José Manuel [editor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New Jersey : World Scientific, 2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.7 D57.

Large infinitary languages : Model theory / M. a. dickmann

por Dickmann, M. A [autor].

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

Mathematical logic : an introduction to model theory / A. H. Lightstone ; edited by H. B. Enderton

por Lightstone, A. H [autor] | Enderton, Herbert B.

Series Mathematical concepts and methods in science and engineering ; v. 9Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Plenum, c1978Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 L52.

Model theory / By c. c. chang and h. j. keisler.

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

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

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / H. Jerome Keisleir

por Keisler, H. Jerome [autor].

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

Saturated model theory / Gerald E. Sacks

por Sacks, Gerald E [autor].

Edición: 2nd ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Singapore : World Scientific, c2010Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 S23 2010.

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


Universidad Nacional Autónoma de México 

Biblioteca "Dr. Enzo Levi” Conjunto sur, Edificio de Posgrado de la Facultad de Ingeniería

©2024 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad