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

Refinar su búsqueda

Su búsqueda recuperó 178 resultados.

Ordenar
Resultados
Essential mathematics for undergraduates : a guided approach to algebra, geometry, topology and analysis / Simon G. Chiossi

por Chiossi, Simon G [autor].

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Cham, Switzerland : Springer, [2021]Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA37.3 C455, ...

¿Es dios un matemático? Mario Livio ; de la traducción Francesc Pedrosa

por Livio, Mario, 1945- [autor] | Pedrosa, Francesc [traductor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: Español Lenguaje original: Inglés Editor: Barcelona : Ariel, c2009Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA8.4 L5818.

The equations : icons of knowledge / Sander Bais

por Bais, Sander [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : Amsterdam University Press, 2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA211 B35 2005.

Elements of logic via numbers and sets / D.L. Johnson

por Johnson, D. L [autor].

Series Springer undergraduate mathematics seriesTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: London : Springer Verlag, 1998Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 J643.

Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games / Douglas E. Ensley, J. Winston Crawley

por Ensley, Douglas E [autor] | Crawley, J. Winston.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Hoboken, New Jersey : Wiley, c2006Otro título: Introduction to discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.25 E57.

Un curso de logica matematica / Carlos Videla

por Videla, Carlos [autor] | Sociedad Matemática Mexicana.

Series Aportaciones matemáticas. Textos. Nivel avanzado ; 4Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: México : Sociedad Matemática Mexicana, 1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 V54.

A course on mathematical logic / S. M. Srivastava

por Srivastava, Sashi Mohan [autor].

Series UniversitextTipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico disponible en línea remoto Detalles de publicación: New York, New York : Springer Verlag, 2008Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.

A course in mathematical logic for mathematicians / Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Mani

por Manin, IU. I [autor] | Koblitz, Neal, 1948- [traductor] | Zilber, Boris [colaborador].

Series Graduate texts in mathematics ; 3Edición: 2nd ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Springer Verlag, c2010Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 M35 2010.

A course in mathematical logic for mathematicians / Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.

por Manin, IU. I [autor] | Koblitz, Neal, 1948- [traductor] | Zilber, Boris [colaborador].

Series Graduate texts in mathematicsEdición: Second editionTipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico disponible en línea remoto Idioma: Inglés Lenguaje original: Ruso Detalles de publicación: New York, New York : Springer, 2010Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.

The continuum of inductive methods / by Rudolf Carnap

por Carnap, Rudolf, 1891-1970 [autor] | University of Chicago.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Chicago : University of Chicago Press, c1952Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 C38.

Constructibility and mathematical existence / Charels s. chihara

por Chihara, Charles S, 1932- [autor].

Tipo de material: Texto Texto; Formato: impreso Editor: Oxford : Clarendon Press, 1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA8.4 C45.

Constructibility and mathematical existence / Charels S. Chihara

por Chihara, Charles S, 1932- [autor].

Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Detalles de publicación: Oxford : New York : Clarendon Press ; Oxford University Press, c1990Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory.

por Godel, Kurt, 1906-1978 [autor].

Series Annals of mathematics studies ; 3Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Princeton, n.j. : Princeton University Press, 1940Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 G6.

A concise introduction to mathematical logic [recurso electrónico] / Wolfgang Rautenberg

por Rautenberg, Wolfgang | SpringerLink (servicio en línea).

Series UniversitextEdición: 2nd ed.Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico disponible en línea remoto Detalles de publicación: New York, New York : Springer, 2006Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.

A concise introduction to mathematical logic / Wolfgang Rautenberg

por Rautenberg, Wolfgang [autor].

Series UniversitextEdición: Third editionTipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico disponible en línea remoto Idioma: Inglés Lenguaje original: Alemán Detalles de publicación: New York, New York : Springer, 2010Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.

Concise introduction to logic and set theory / Iqbal H. Jebril, Hemen Dutta, and Ilwoo Cho

por Jebril, Iqbal H [autor] | Dutta, Hemen, 1981- [autor] | Cho, Ilwoo [autor].

Series Mathematics and its applications : modelling, engineering, and social sciencesEdición: First editionTipo de material: Texto Texto; Forma literaria: No es ficción Editor: Boca Raton, FL : CRC Press, 2022Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.A5 J43.

The computer modelling of mathematical reasonign / Alan bundy

por Bundy, Alan [autor].

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: London : Academic, 1983Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.95 B85.

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.

Computability and logic / Georges bools, Richard c. jeffrey

por Boolos, George [autor] | Jeffrey, Richard Carl [autor] | University of Cambridge.

Edición: 3Tipo de material: Texto Texto; Formato: impreso Editor: Cambridge : Cambridge University Press, c1989Editor: Cambridge : Cambridge University Press, c1989Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248.5 B65 1989.

Computability : Computable functions, logic, and the foundations of mathematics / Richard l. epstein, Walter a. carnielli

por Epstein, Richard L, 1947- [autor] | Carnielli, Walter Alexandre [autor].

Tipo de material: Texto Texto; Formato: impreso Editor: Pacific grove, california : Wadsworth & Brooks/Cole Advanced Books & Software, c1989Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.59 E67.

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