Su búsqueda retornó 23 resultados.

Ordenar
Resultados
1.
Logic, sets, and recursion / Robert L. Causey. por
Edición: 2nd ed.
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: Sudbury, Mass. : Jones and Bartlett Publishers, c2006
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 511.3 C374l 2006.

2.
Diamond : a paradox logic / N.S. Hellerstein. por Series K & E series on knots and everything ; v. 23.
Edición: 2nd ed.
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: Singapore ; Hackensack, NJ : World Scientific, c2010
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 511.3 H4775d 2010.

3.
A concise introduction to mathematical logic / Wolfgang Rautenberg. por Series Universitext
Edición: 3rd ed.
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Idioma: Inglés Lenguaje original: Alemán
Detalles de publicación: New York, NY : Springer, c2010
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (3)Signatura topográfica: 511.3 R249c 2010, ...

4.
A course on mathematical logic / Shashi Mohan Srivastava. por Series Universitext
Edición: 2nd ed.
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: New York : Springer, c2013
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (3)Signatura topográfica: 511.3 S77431c 2013, ...

5.
Introduction to mathematical logic and resolution principle Guo-Jun Wang, Hong-Jun Zhou por
Edición: 2nd ed.
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: Beijing : Oxford, U.K. : Science Press, Alpha Science, c2009
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 511.3 W2463i 2009.

6.
Fundamentals of digital logic with Verilog design / Stephen Brown and Zvonko Vranesic, Department of Electrical and Computer Engineering, University of Toronto. por
Edición: Third edition.
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Idioma: Inglés
Detalles de publicación: New York : McGraw-Hill Higher Education, [2014]
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (3)Signatura topográfica: 621.392 B8799f 2014, ...

7.
Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey. por
Edición: 5th ed.
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Idioma: eng.
Detalles de publicación: Cambridge ; New York : Cambridge University Press, 2007
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 511.3 B7247c 2007.

8.
Logic for computer science and artificial intelligence / Ricardo Caferra por
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Idioma: eng.
Detalles de publicación: London : ISTE / John Wiley & Sons ; 2011
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 006.3 C129l 2011.

9.
Set theory and the continuum hypothesis / Paul J. Cohen ; with a new introduction by Martin Davis. por Series Dover books on mathematics
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: Mineola, N.Y. : Dover Publications ; 2008
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 511.322 C6786s 2008.

10.
First-Order logic and automated theorem proving / Melvin Fitting. por Series Graduate texts in computer science
Edición: 2nd ed.
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Idioma: eng.
Detalles de publicación: New York, NY : Springer New York ; 1996
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 005.131 F547f 1996.

11.
Deviant logic, fuzzy logic : beyond the formalism / Susan Haack. por
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: Chicago : University of Chicago Press ; 1996
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 160 H1115d 1996.

12.
Logic, reasoning, and rationality / Erik Weber, Dietlinde Wouters and Joke Meheus (editors). por Series Logic, argumentation & reasoning ; 5.
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: New York : Springer ; 2014
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 160 L8323 2014.

13.
First-Order Logic / Raymond M. Smullyan. por
Tipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción
Detalles de publicación: Berlin, Heidelberg : Springer ; 1968
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 511.3 S666.

14.
An introduction to non-classical logic : fron if to is / Graham Priest. por
Edición: 2nd ed.
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: Cambridge : New York : Cambridge University Press ; 2008
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 511.3 P9492i 2008.

15.
Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan. por
Edición: 2nd ed.
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Idioma: eng.
Detalles de publicación: Cambridge [U.K.] ; New York : Cambridge University Press ; 2004
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 005.1015113 H979l 2004.

16.
Mathematical logic / J. Donald Monk. por Series Graduate texts in mathematics ; 37
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: New York : Springer-Verlag 1976
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 511.3 M745m 1976.

17.
Logic-based artificial intelligence / edited by Jack Minker. por Series The Kluwer international series in engineering and computer science ; SECS 597
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: New York : Springer Science ; 2000
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 006.3 L8322 2000.

18.
Introduction to mathematical logic / Elliott Mendelson. por Series Textbooks in mathematics
Edición: 6th ed.
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: Boca Raton, FL. : CRC Press ; 2015
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 511.3 M5376i 2015.

19.
Interpreting Gödel : critical essays / edited by Juliette Kennedy. por
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: United Kingdom : Cambridge ; 2014
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 511.3 I61929 2014.

20.
Philosophy of logics por
Tipo de material: Texto Texto; Formato: impreso
Detalles de publicación: Cambridge : Cambridge University Press ; 1978
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Yachay Tech (1)Signatura topográfica: 160 H1115p 1978.

Páginas

Ayuda

X

Correo: bibliotecayachaytech@yachaytech.edu.ec
Teléfono:+593 6299 9500 Ext. 2517

Horario de atención:

X

BIBLIOTECA UNIVERSIDAD YACHAY TECH

  • Área: Fondo Impreso
    Lunes a Viernes de 08h00 a 20h30
    Sábado de 08h00 a 16h30
  • Área: Ingenio
    Abierto 24 horas 7 días
  • Área: Bloque de Servicios, 2do. Piso
    Espacios de Estudio Grupal e Individual, abierto 24 horas 7 días

Recuerda que los espacios son compartidos por toda la comunidad, por lo que debes hacer un uso adecuado
del tiempo que los ocupes, mantenerlos limpios y evitar el daño a las instalaciones y bienes materiales.

También puedes usar nuestros canales de comunicación:

Correo: bibliotecayachaytech@yachaytech.edu.ec
Teléfono: +593 6299 9500 Ext. 2517
Ubicación: San Miguel de Urcuquí, Hacienda San José s/n y Proyecto Yachay

Video

X