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

Refinar su búsqueda

Su búsqueda recuperó 136 resultados.

Ordenar
Resultados
A profile of mathematical logic.

por Delong, Howard, 1936- [autor].

Series Addison-Wesley series in mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Reading, Mass. : Addison-Wesley, 1970Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 D44.

Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings / Renate A. Schmidt, ed.

por International Seminar on Relational Methods in Computer Science (9 : 2006 : Manchester, Inglaterra) | Schmidt, Renate A [editor] | International Workshop on Applications of Kleene Algebra (4 : 2006 : Manchester, Inglaterra).

Series Lecture notes in computer science ; 4136Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA10 I58 2006.

Retorica y logica / C. Perelman, L. Olbrechts-Tyteca, M. Do-brosielski.

por Perelman, C | Olbrechts Tyteca, L., coaut.Dobrosielski, M., coaut.

Series Seminario de problemas cientificos y filosoficos.Colec. suplementos, 20Tipo de material: Texto Texto Detalles de publicación: México : UNAM, Coordinacion de Humanidades Disponibilidad: No disponible para préstamo a domicilio:Folletos: Estantería cerrada (1).

Scalable fuzzy algorithms for data management and analysis : methods and design / [edited by] Anne Laurent, Marie-Jeanne Lesot

por Laurent, Anne, 1976- [editor] | Lesot, Marie-Jeanne, 1978- [editor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Hershey, Pennsylvania : Information Science Reference, c2010Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9D3 S325.

Solutions to the exercises in first course in mathematical logic / Frederick Binford

por Binford, Frederick [autor].

Tipo de material: Texto Texto; Formato: impreso Editor: New York : Blaisdell, c1965Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA8.7 B55.

Studies in logic and probability / George Boole

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

Series Dover phoenix editionsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Mineola, New York : Dover publications, 2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 B73 2004.

Studies in subjective probability / edited by Henry E. Kyburg, Howard E. Smokler

por Kyburg, Henry Ely, 1928- [editor] | Smokler, Howard Edward, 1928- [editor].

Tipo de material: Texto Texto; Formato: impreso Editor: New York : J. Wiley, c1964Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC141 S78.

Symbolic and knowledge-based signal processing / Eds. Alan v. oppenheim, s. hamid nawad

por Oppenheim, Alan V, 1937- [editor] | Nawad, S. Hamid [editor].

Series Prentice-hall signal processing seriesTipo de material: Texto Texto; Formato: impreso Editor: Englewood cliffs, new jersey : Prentice Hall, c1992Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK5102.5 S95.

Symbolic logic; and introduction.

por Thomason, Richmond H [autor].

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

Symbolic logic and the real number system : An introduction to the foundations of number systems

por Lightstone, A H [autor].

Series A Harper international student reprintTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Harper, c1965Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA255 L55.

Techniques of deductive inference / Hugues Leblanc

por Leblanc, Hugues, 1924- [autor].

Tipo de material: Texto Texto; Formato: impreso Editor: Englewood cliffs, new jersey : Prentice Hall, c1966Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 L36.

Temporal logics and their applications / Ed. by Anthony galton

por Galton, Anthony [editor].

Tipo de material: Texto Texto; Formato: impreso Editor: London : Academic, 1987Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 T41.

Thinking straight : principles of reasoning for readers and writers / Monroe C. Beardsley

por Beardsley, Monroe C [autor].

Edición: 3Tipo de material: Texto Texto; Formato: impreso Editor: Englewood cliffs, new jersey : Prentice Hall, c1966Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC71 B43 1966.

Threshold logic.

por Sheng, Ch'ing-lai [autor].

Series Electrical scienceTipo de material: Texto Texto; Forma literaria: No es ficción Editor: Toronto : Ryerson, 1969Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA401 S43.

A transition to abstract mathematics : mathematical thinking and writing / Randall B. Maddox

por Maddox, Randall B [autor] | Maddox, Randall B. Mathematical thinking and writing.

Edición: 2nd ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : Academic Press/Elsevier, c2009Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA9.54 M34 2009, ...

Two applications of logic to mathematics / By gaisi takeuti

por Takeuti, Gaisi, 1926- [autor].

Series Kano memorial lectures ; 3 | Publications of the Mathematical Society of Japan ; 13Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Lugar de publicación no identificado : Shoten, 1978Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 T33.

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