Refinar su búsqueda

Su búsqueda retornó 81 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
Lectures on the logic of computer programming por
  • Manna, Zohar
Series (5952) ; 31
Detalles de publicación: Filadelfia, Estados Unidos SIAM 1980
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (2)Signatura topográfica: 005.1/M315l, ...

Hacer reserva Agregar al carrito
No hay imagen de cubierta disponible
Principia mathematica. por
  • Whitehead, Alfred North, 1861-1947
  • Russell, Bertrand, 1872-1970
Detalles de publicación: Cambridge, Gran Bretaña University Press. 1964
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 192.1/W587p.

Hacer reserva Agregar al carrito
Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema por
  • Blackburn, Patrick, 1959-
  • Rijke, Maarten de
  • Venema, Yde
Series Cambridge Tracts in Theoretical Computer Science ; 53
Detalles de publicación: Cambridge, England Cambridge University Press, c2001 2001
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 511.3/B562m.

Hacer reserva Agregar al carrito
Lógica matemática para informáticos : ejercicios resueltos / Teresa Hortalá González... [et al.] por
  • Hortalá González, Teresa
Series (5266)
Detalles de publicación: [Madrid, España] Pearson Prentice Hall 2008
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 511.3/H788l.

Hacer reserva Agregar al carrito
Categorical logic and type theory por
  • Jacobs, Bart
Series Studies in Logic and the Foundations of Mathematics ; 141
Detalles de publicación: New York, Estados Unidos Elsevier Science, c1999 1999
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 511.3/J151c.

Hacer reserva Agregar al carrito
No hay imagen de cubierta disponible
Lógica y algoritmos con aplicación a las ciencias de la computación e información por
  • Korfhage, Robert R
Detalles de publicación: México, México Limusa 1974
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (3)Signatura topográfica: 511.3/K841l, ...

Hacer reserva Agregar al carrito
A concise introduction to pure mathematics por
  • Liebeck, Martin
Series (5142)
Edición: 2a. Ed.
Detalles de publicación: Boca Raton, Estados Unidos Chapman & Hall/CRC 2006
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 511.3/L621c/2006.

Hacer reserva Agregar al carrito
Fácil, menos fácil y difícil : 100 problemas de lógica y matemáticas por
  • Mataix Lorda, Mariano
Detalles de publicación: Barcelona, España Marcombo, c1985 1985
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 511.3/M412f.

Hacer reserva Agregar al carrito
Computational complexity por
  • Papadimitriou, Christos H
Detalles de publicación: Reading, Estados Unidos Addison-Wesley 1994
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 511.3/P197c.

Hacer reserva Agregar al carrito
No hay imagen de cubierta disponible
Lógica y teoría de conjuntos. por
  • Cheifetz, P.M
  • Avenoso, F.J
Detalles de publicación: Madrid, España Alhambra. 1974
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 511.32/Ch416l.

Hacer reserva Agregar al carrito
Ordered sets : an introduction with connections from combinatorics to topology por
  • Schröder, Bernd
Edición: 2a. Ed.
Detalles de publicación: [Cham, Switzerland] Birkhäuser, 2016 2016
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 511.33/Sch75o/2016.

Hacer reserva Agregar al carrito
Juegos de números y lógica / Jane Kemp ; Clare Walters por
  • Kemp, Jane
  • Walters, Clare
Detalles de publicación: [Barcelona, España] Parramón, c2005 2005
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 371.39/K32j.

Hacer reserva Agregar al carrito
No hay imagen de cubierta disponible
Razonamiento lógico en operaciones matemáticas por
  • Mejía Sandoval, Alex Fabián
Series Módulos de Desarrollo Cognitivo ; 3
Detalles de publicación: Quito, Ecuador PUCE, Facultad de Filosofía y Teología 1999
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (2)Signatura topográfica: 153.43/M479r, ...

Hacer reserva Agregar al carrito
Ensayos de semántica y filosofía de la lógica / Gottlob Frege ; edición, introducción, traducción y notas de Luis M. Valdés Villanueva por
  • Frege, Gottlob, 1848-1925
  • Valdés Villanueva, Luis M
Series Filosofía y Ensayo
Edición: 3a. Ed.
Detalles de publicación: [Madrid, España] Tecnos, c2013 2013
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 121.68/F881e/2013.

Hacer reserva Agregar al carrito
Inteligencia lógico-matemática : más de 100 juegos para su desarrollo por
  • Batllori, Jorge
Series Herramientas
Detalles de publicación: Madrid, España Narcea, 2018 2018
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 372.7/B321i.

Hacer reserva Agregar al carrito
Vivir, sentir y amar las matemáticas : actividades lógico-matemáticas para niños/as de 3 a 8 años / Nieves Gomis ... [et al.] por
  • Gomis, Nieves
Detalles de publicación: Málaga, España Aljibe, 2018 2018
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 372.7/G586v.

Hacer reserva Agregar al carrito
No hay imagen de cubierta disponible
La lógica simbólica. por
  • Agazzi, Evandro
Edición: 2a. Ed.
Detalles de publicación: Barcelona, España Herder. 1973
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 164/Ag18l/1973.

Hacer reserva Agregar al carrito
No hay imagen de cubierta disponible
Conjuntos y logica. por
  • Bailey, C.A.R
Series Coleccion Principios de Matematica Moderna para la Enseñanza
Edición: 2a. Ed.
Detalles de publicación: Barcelona, España Vicens-Vives. 1971
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (2)Signatura topográfica: 510/B151c/1971, ...

Hacer reserva Agregar al carrito
No hay imagen de cubierta disponible
Elementos de lógica simbólica / Telma Barreiro de Nudler ; Oscar Nudler por
  • Barreiro de Nudler, Telma
  • Nudler, Oscar
Detalles de publicación: Buenos Aires, Argentina Kapeluz, c1973 1973
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 164/B274e.

Hacer reserva Agregar al carrito
No hay imagen de cubierta disponible
Précis de logique mathematique. por
  • Bochenski, Innocentius M., 1902-1995
Series Collection Synthese; 2
Detalles de publicación: Bussum, Holanda s. n. 1948
Disponibilidad: Ítems disponibles para préstamo: Sede Quito (1)Signatura topográfica: 164/B631.

Hacer reserva Agregar al carrito
Páginas
Recursos Repositorio Herramienta Guias Normativa


 Nuestras Alianzas