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
An invitation to mathematical logic / David Marker

por Marker, D. (David), 1958- [autor].

Series Graduate texts in mathematics ; 301Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Cham, Switzerland : Springer, [2024]Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1).

An investigation of the lawss of thought : On which are founded the mathematical theories of logic and probabilities / By George boole

por Boole, George, 1815-1864 [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Dover, 1958Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 B69.

An investigation of the laws of thought on wich are founded the mathematical theories of logic and probabilities / By George boole

por Boole, George, 1815-1864 [autor].

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: New York : Dover, 1958Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 B667.

Introduction to the foundations of mathematics.

por Wilder, Raymond Louis, 1896- [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York, wiley, 1952Otro título: Foundations of mathematics..Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 W58.

Introduction to symbolic logic and its applications / translated by William h. Meyer and John wilkinson.

por Carnap, Rudolf, 1891-1970 [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Dover, c1958Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 C3142.

An introduction to symbolic logic

por Langer, Susanne Katherina Knauth, 1895-1985 [autor].

Edición: 2Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Dover, 1953Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 L35 1953.

Introduction to mathematics : number, space, and structure / Scott A. Taylor

por Taylor, Scott A, 1976- [autor].

Series Pure and applied undergraduate texts ; 62 | The Sally seriesTipo de material: Texto Texto; Forma literaria: No es ficción Editor: Providence, Rhode Island : American Mathematical Society, [2023]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 T395.

Introduction to mathematical proofs : a transition to advanced mathematics / Charles E. Roberts, Jr.

por Roberts, Charles E, 1942- [autor].

Series Textbooks in mathematicsEdición: Second editionTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Boca Raton : CRC Press, Taylor & Francis Group, [2015]Fecha de copyright: ©2015Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.54 R63 2015.

An introduction to mathematical logic and type theory : To truth through proof / Peter b. andrews

por Andrews, P. B. (Peter Bruce), 1937- [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Orlando, Florida : Academic, 1986Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 A53.

Introduction to mathematical logic.

por Church, Alonzo, 1903-1995 [autor].

Series Princeton mathematical series ; 17Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Princeton : Princeton University Press, 1956Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 C42.

Introduction to mathematical logic / Elliot Mendelson

por Mendelson, Elliott [autor].

Edición: 4th ed.Tipo de material: Texto Texto; Forma literaria: No es ficción Idioma: SPA Editor: London : Chapman and Hall, 1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 M4 1997. No disponible para préstamo a domicilio:Libros: Prestado (1).

Introduction to mathematical logic / Michal Walicki

por Walicki, Micha [autor].

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

An introduction to mathematical logic / Richard E. Hodel

por Hodel, Richard E [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Mineola, New York : Dover Publications, 2013Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 H63.

An introduction to hilbert space and quantum logic / David w. Cohen

por Cohen, David W [autor].

Series Problem books in mathematicsTipo de material: Texto Texto; Formato: impreso Editor: New York : Springer Verlag, c1989Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA322.4 C65.

An Introduction to Gödel's Theorems / Peter Smith

por Smith, Peter, 1944- [autor].

Series Cambridge introductions to philosophyEdición: 2nd editionTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge : Cambridge University Press, 2013Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.65 S55 2013.

Introduction to elementary mathematical logic / Abram aronovich stolyar ; translated by scrypta technica ; tr. ed. by elliot Mendelson

por Stoliar, Abram Aronovich [autor] | Mendelson, Elliott [editor] | Scrypta Technica (e. U. ) | Stoliar, Abram Aronovich. Elementarnoe vvedenie v matematicheskuiu logiku.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Dover, 1983Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 S812 1983.

An introduction to algebraic logic / by Stephen A. Kiss

por Kiss, Stephen Antony, 1890- [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Westport, Connecticut : S. A. Kiss, 1961Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 K57.

Intensional logic and the metaphysics of intentionality [recurso electrónico] / Edward N. Zalta

por Zalta, Edward N, 1952- | NetLibrary (Firma comercial).

Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Detalles de publicación: Cambridge, Massachusetts : MIT, c1988Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.

Institution-independent model theory [recurso electrónico] / Ræazvan Diaconescu

por Diaconescu, Ræazvan | SpringerLink (servicio en línea).

Series Studies in universal logicTipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico disponible en línea remoto Detalles de publicación: Basel : Birkhäuser, 2008Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.

Infinity and the mind : the science and philosophy of the infinite / by Rudy Rucker

por Rucker, Rudy v. B. (Rudy von Bitter), 1946- [autor].

Series Princeton science libraryTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Princeton, New Jersey : Princeton University Press, c1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 R76 1995.

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