Universidad Nacional Autónoma de México
Facultad de Ingeniería. Anexo
Catálogo de la Biblioteca "Mtro. Enrique Rivero Borrell"

Refinar su búsqueda

Su búsqueda recuperó 71 resultados.

Ordenar
Resultados
Introduction to mathematical logic / Elliot Mendelson

por Mendelson, Elliott [autor].

Edición: 5th ed.Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Boca Raton : CRC Press, c2010Disponibilidad: Ítems disponibles para préstamo: Libros (4)Clasificación: QA9 M4 2010, ...

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 (4)Clasificación: QA9.54 R63 2015, ...

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.

La lógica de la investigación científica / Karl R. Popper ; traducción, Víctor Sánchez de Zavala

por Popper, Karl R. (Karl Raimund), 1902-1994 [autor] | Sánchez de Zavala, Víctor [traductor].

Edición: 2a ed.Tipo de material: Texto Texto; Forma literaria: No es ficción Idioma: Español Lenguaje original: Inglés Editor: Madrid : Tecnos, 2008Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: Q175 P86418 2008, ...

Lógica de programación : solucionario en pseudocódigo : ejercicios resueltos / Omar Iván Trejos Bruriticá

por Trejos Buriticá, Omar Iván [autor].

Series Ingeniería de sistemasEdición: Primera ediciónTipo de material: Texto Texto; Forma literaria: No es ficción Editor: Bogotá, Colombia : Ediciones de la U, 2021Disponibilidad: Ítems disponibles para préstamo: Libros (4)Clasificación: QA76.63 T743, ...

Lógica formal y no formal / María Aurora Martínez Rey

por Martínez Rey, María Aurora [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: [Madrid] : Universidad a Distancia de Madrid, Centro de Estudios Financieros, [2017]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA8.7 M375.

Lógica matemática con aplicación a circuitos lógicos y digitales : Lógica matemática / Giovanni Alcocer

por Alcocer, Giovanni [autor].

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Republic of Moldova : Editorial Académica Española, [2021]Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA9 A495, ...

Lógica simbólica para informáticos / Pascual Julián Iranzo

por Julián Iranzo, Pascual [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: México, D.F. : Alfaomega : Ra-Ma, 2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9M35 I73.

Lógica y matemática : para ciencias de la computación / Fidel Barboza Gutiérrez

por Barboza Gutiérrez, Fidel [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Bogotá, Colombia : Universidad Piloto de Colombia, 2012Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9L63 B37, ...

Lectures on inductive logic / Jon Williamson

por Williamson, Jon [autor].

Edición: First editionTipo de material: Texto Texto; Forma literaria: No es ficción Editor: New York, NY : Oxford University Press, 2017Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC91 W57.

Logic based program synthesis and transformation : 13th international symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers / Maurice Bruynooghe, ed.

por LOPSTR 2003 (2003 : Uppsala, Suecia) | Bruynooghe, Maurice [editor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2004Otro título: LOPSTR 2003.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.63 I58 2004.

Logica : Para educacion media superior / Antonio raluy ballas

por Raluy Ballus, Antonio [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: México : Numancia, 1989Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC59 R35.

Logica matematica elemental / Benson mates ; traducción de Carmen García trevijano

por Mates, Benson, 1919- [autor] | García Trevijano, Carmen [traductor] | Mates, Benson, 1919-. Elementary logic.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Madrid : Tecnos, 1970Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 M37318.

Many-valued logics / Leonard Bolc, Piotr Borowik

por Bolc, Leonard, 1934- [autor] | Borowik, Piotr [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 1992-9999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.45 B65.

Matemáticas discretas Seymour Lipschutz, Marc Lars Lipson ; traducción, Hugo Villagómez Velázquez

por Lipschutz, Seymour [autor] | Lars Lipson, Marc [autor] | Villagómez Velázquez, Hugo [traductor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: México, D.F. : McGraw-Hill Interamericana, c2009Disponibilidad: Ítems disponibles para préstamo: Libros (30)Clasificación: QA162 L54918, ...

Matematica insolita : Paradojas y paralogismos / Bryan h. bunch ; vers. española por José l. de María González

por Bunch, Bryan W [autor] | Maria Gonzalez, Jose L. de [traductor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Barcelona : Reverte, c1987Disponibilidad: Ítems disponibles para préstamo: Libros (4)Clasificación: QA9 B8318, ...

Mathematical problems from applied logic : logics for the XXIst century / edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev

por Gabbay, Dov M, 1945- [editor] | Goncharov, S. S [editor] | Zakharyaschev, Michael [editor].

Series International mathematical seriesTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Springer Verlag, c2006-Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.A1 M37.

Mathematical recreations of Lewis Carroll

por Carroll, Lewis, 1832-1898 [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 (2)Clasificación: QA95 D598, ...

Mechanical logic in three-dimensional space / Gennaro Auletta

por Auletta, Gennaro, 1957- [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Boca Raton : [Singapore] : CRC Press ; Pan Stanford Publishing, [2013]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 A85.

The Oxford handbook of philosophy of mathematics and logic / edited by Stewart Shapiro

por Shapiro, Stewart, 1951- [editor].

Series Oxford handbooks in philosophyTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oxford : Oxford University Press, 2005Otro título: Philosophy of mathematics and logic.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA8.4 O94.

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


Universidad Nacional Autónoma de México 

Biblioteca "Mtro. Enrique Rivero Borrell” de la Facultad de Ingeniería

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

Aviso de Privacidad