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
Logic of mathematics : a modern course of classical logic / Zofia Adamowicz, Pawel Zbierski

por Adamowicz, Zofia [autor] | Zbierski, Pawel [autor].

Series Pure and applied mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: New York : J. Wiley, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 A33.

The logic of infinity / Barnaby Sheppard

por Sheppard, Barnaby [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge, United Kingdom : Cambridge University Press, 2014Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 S475.

Logic for mathematicians / A. g. Hamilton

por Hamilton, A. G, 1943- [autor] | University of Cambridge.

Edición: # rev. ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge : Cambridge University Press, 1988Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 H29 1988.

Logic as algebra / Paul Halmos, Steven Givant

por Halmos, Paul R. (Paul Richard), 1916-2006 [autor] | Givant, Steven R [autor] | Mathematical Association of America.

Series The Dolciani mathematical expositions ; no. 21Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: [Washington, D.C.] : Mathematical Association of America, c1998Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 H28.

Logic and structure / Dirk van dalen

por Dalen, D. van (Dirk), 1932- [autor].

Edición: 2Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 1983Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 D34 1983.

Logic : a brief course / Daniele Mundici ; translated by Krzysztof R. Apt

por Mundici, Daniele, 1946- [autor] | Apt, Krzysztof R, 1949- [traductor].

Series Unitext — la matematica per il 3+2Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Idioma: Inglés Lenguaje original: Italiano Detalles de publicación: Milano : Springer, 2012Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.

The Legacy of Mario Pieri in Geometry and Arithmetic [recurso electrónico] / by Elena Anne Marchisotto, James T. Smith.

por Marchisotto, Elena Anne | Smith, James T | SpringerLink (Servicio en linea).

Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico disponible en línea remoto Detalles de publicación: Boston, Massachusetts : Birkhauser, 2007Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.

Lectures on the logic of computer programming / Zohar Manna

por Manna, Zohar [autor] | Society for Industrial and Applied Mathematics.

Series CBMS-NSF regional conference series in applied mathematics ; 31Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Philadelphia, Pennsylvania : Society for Industrial and Applied Mathematics, 1980Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 M345.

Lectures on non-standard analysis / Moshe machover, joram hirschfeld

por Machover, Moshe [autor] | Hirschfeld, Joram [autor].

Series Lecture notes in mathematics ; 94Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 1969Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA300 M45.

Lectures on mathematical logic / Walter Felscher

por Felscher, Walter [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam, the Netherlands : Gordon and breach science, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA9.2 F445, ...

Lectures in logic and set theory / George Tourlakis

por Tourlakis, George J [autor].

Series Cambridge studies in advanced mathematics ; 82-83Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Cambridge : Cambridge University Press, 2003Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA9.2 T68, ...

Lectures in logic and set theory [recurso electrónico] / George Tourlakis

por Tourlakis, George J | NetLibrary (Firma comercial).

Series Cambridge studies in advanced mathematics ; 82, 83Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Detalles de publicación: Cambridge : Cambridge University, c2003Acceso en línea: Texto completo de: vol. 1, Mathematical logic | Texto completo de: vol. 2, Set theory Disponibilidad: No hay ítems disponibles.

Lógica matemática / José Ferrater Mora y Hughes Leblanc

por Ferrater Mora, José, 1912-1991 [autor] | Leblanc, Hugues, 1924- [autor].

Series Sección de obras de filosofíaEdición: Primera ediciónTipo de material: Texto Texto; Forma literaria: No es ficción Editor: México : Fondo de Cultura Económica, 1955Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 F47.

Lógica matemática / José Ferrater Mora y Hugues Leblanc

por Ferrater Mora, José, 1912-1991 [autor] | Leblanc, Hugues, 1924- [autor].

Series Sección de obras de filosofíaEdición: Segunda edición revisadaTipo de material: Texto Texto; Forma literaria: No es ficción Editor: México : Fondo de Cultura Económica, 1962Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 F47 1962.

Kurt Gödel : das Album = the album / Karl Sigmund, John Dawson, Kurt Mühlberger

por Sigmund, Karl, 1945- [autor] | Dawson, John W. (John William), 1944- [autor] | Mühlberger, Kurt [autor].

Tipo de material: Texto Texto; Formato: impreso ; Naturaleza de los contenidos: biografía; Forma literaria: No es ficción Idioma: Alemán, Inglés Editor: Wiesbaden : Vieweg, 2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA29.G58 S54.

Kurt Gödel : essays for his centennial / edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson

por Gödel, Kurt | Feferman, Solomon [editor] | Parsons, Charles, 1933- [editor] | Simpson, Stephen George, 1945- [editor].

Series Lecture notes in logic ; 33Tipo de material: Texto Texto; Formato: impreso festschrift ; Forma literaria: No es ficción Editor: New York : Ithaca, New York : Cambridge University Press ; Association for Symbolic Logic, 2010Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.2 K87.

Kurt Gödel : Results on foundations / Maria Hämeen-Anttila, Jan von Plato, editors

por Gödel, Kurt | Hameen-Anttila, Maria [editor,, traductor] | Von Plato, Jan [editor,, traductor].

Series Sources and studies in the history of mathematics and physical sciencesTipo de material: Texto Texto; Forma literaria: No es ficción Idioma: Inglés Lenguaje original: Alemán Editor: Cham, Switzerland : Springer, [2023]Otro título: Results on foundation.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 K875.

Kolmogorov’s Heritage in Mathematics [recurso electrónico] / edited by Éric Charpentier, Annick Lesne, Nikolaï K. Nikolski.

por Charpentier, Éric | Lesne, Annick | Nikolski, Nikolaï K | SpringerLink (Servicio en linea).

Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico disponible en línea remoto Detalles de publicación: Berlin : Springer, 2007Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.

Journal of symbolic logic

por Association for Symbolic Logic.

Tipo de material: Recurso continuo Recurso continuo Idioma: Inglés Editor: Pasadena, Ca. : Association for Symbolic Logic, 1936-Disponibilidad: No disponible para préstamo a domicilio:Revistas: Estantería cerrada (46).

Journal of mathematical logic.

Tipo de material: Recurso continuo Recurso continuo; Formato: impresión grande ; Tipo de descriptor de recurso continuo: periódico Idioma: Inglés Editor: Singapore : World Scientific, 2001-Otro título: JML (Singapore).Disponibilidad: No disponible para préstamo a domicilio:Revistas: Estantería cerrada (24).

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