Su búsqueda obtuvo 11 resultados.

Ordenar
Resultados
How to prove it : A structured approach / Daniel J. Velleman

por Velleman, Daniel J.

Edición: 1st. ed. 1st.repr.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge : University Press, 1995Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (5)Ubicación, signatura topográfica: 510.6/VEL/how, ...

Argumentar, demostrar, explicar : ¿continuidad o ruptura cognitiva? / Raymond Duval

por Duval, Raymond.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: [S.l.] : Grupo Editorial Iberoamerica , 1999Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: 511.3/DUV/arg, ...

First-order logic / Raymond M. Smullyan

por Smullyan, R.M.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Dover Publications, 1995Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/SMU/fir. No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (2).

Introducción a la lógica formal / Alfredo Deaño

por Deaño, Alfredo.

Series El libro universitario. Manuales ; ; 035Edición: 1ª ed. en "Manuales"Tipo de material: Texto Texto Detalles de publicación: Madrid : Alianza, 1999Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-Zona de Descanso - 164/DEA/int. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (4)Ubicación, signatura topográfica: 164/DEA/int, ...

Lógica matemática y computabilidad / Juan Sancho de San Román

por Sancho de San Román, Juan.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Díaz de Santos, c1990Disponibilidad: Ítems disponibles para préstamo: 00. BIBLIOTECA CAMPUS DE ALGECIRAS (1)Ubicación, signatura topográfica: 510.6/SAN/log. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (3)Ubicación, signatura topográfica: 510.6/SAN/log, ... Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 510.6/SAN/log.

Matemática discreta y sus aplicaciones / Kenneth H. Rosen ; traducción José Manuel Pérez Morales [et al.]

por Rosen, Kenneth H.

Edición: 5ª ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid [etc.] : McGraw-Hill, 2004Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 519.1/ROS/mat . 03. BIBLIOTECA INGENIERÍA PUERTO REAL (4)Ubicación, signatura topográfica: 519.1/ROS/mat, ...

Matemática discreta / Félix García Merayo

por García Merayo, Félix.

Edición: 3ª ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid: Paraninfo, 2015Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (3)Ubicación, signatura topográfica: 519.6/GAR/mat, ... 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 519.6/GAR/mat, ...

Matemática discreta y lógica matemática / María Teresa Hortalá González, Javier Leach Albert, Mario Rodríguez Artalejo

por Hortalá González, María Teresa | Leach Albert, Javier [coautor] | Rodríguez Artalejo, Mario [coautor].

Edición: 4ª ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Garceta, 2018Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/HOR/mat. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/HOR/mat.

Matemática discreta / Félix García Merayo

por García Merayo, Félix.

Edición: 2ª ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Thomson-Paraninfo, 2005Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (7)Ubicación, signatura topográfica: 519.6/GAR/mat, ... No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1).

Lógica, programación e inteligencia artificial / Robert Kowalski

por Kowalski, Robert.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Díaz de Santos, 1986Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 681.3/KOW/log, ... 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Ubicación, signatura topográfica: 510.6/KOW/log. No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1).

Introducción al método matemático / F.Javier Pérez Fernández

por Pérez Fernández, Francisco Javier.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cádiz : Universidad de Cádiz, 1998Disponibilidad: Ítems disponibles para préstamo: 00. BIBLIOTECA CAMPUS DE ALGECIRAS (3)Ubicación, signatura topográfica: 510.6/PER/int, ... 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: Ma-1003. 02. BIBLIOTECA CAMPUS PUERTO REAL (10)Ubicación, signatura topográfica: 510.6/PER/int, ... 03. BIBLIOTECA INGENIERÍA PUERTO REAL (7)Ubicación, signatura topográfica: 519.6/.8/PER/int, ... 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Ubicación, signatura topográfica: 510.6/PER/int. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/258. No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1). 03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1). 11. BCA.HISTÓRICA - CÁDIZ: Patrimonio bibliográfico (2).
  (1 votos)
Páginas

Con tecnología Koha