Resultados
|
|
|
Lógica simbólica / Manuel Garrido por Garrido, Manuel. Series Filosofía y ensayoEdición: 4a ed.Tipo de material:  Texto; Formato:
impreso Detalles de publicación: Madrid : Tecnos, 2001Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/GAR/log.
|
|
|
|
|
|
|
|
Theory of recursive functions and effective computability / Hartley Rogers por Rogers, Hartley. Edición: 3rd ed.Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Detalles de publicación: Cambridge : The MIT Press, 1987Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/ROG/the.
|
|
|
|
How to prove it : A structured approach / Daniel J. Velleman por Velleman, Daniel J. Edición: 1st. ed. 1st.repr.Tipo de material: 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, ...
|
|
|
|
Lógica simbólica / Manuel Garrido por Garrido, Manuel. Series Filosofía y ensayoEdición: 3a ed., reimp.Tipo de material: Texto; Formato:
impreso Detalles de publicación: Madrid : Tecnos, 1997Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/GAR/log.
|
|
|
|
|
|
|
|
Fundamentos de lógica matemática / Joaquín Aranda Almansa ... [et al.] por Aranda Almansa, Joaquín. Edición: 2ª ed., 1ª reimp.Tipo de material: Texto; Formato:
impreso Detalles de publicación: Madrid : Sanz y Torres, 2000Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 510.6/FUN, ...
|
|
|
|
Lógica simbólica / Manuel Garrido por Garrido, Manuel. Series Filosofía y ensayoEdición: 4a ed. 2003 reimp.Tipo de material: Texto; Formato:
impreso Detalles de publicación: Madrid : Tecnos, 2001Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/GAR/log.
|
|
|
|
Lógica simbólica para informáticos / Pascual Julián Iranzo por Julián Iranzo, Pascual. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Detalles de publicación: Paracuellos de Jarama (Madrid) : Ra-Ma, [2004]Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Deposito-510.6/JUL/log.
|
|
|
|
|
|
|
|
Fundamentos de lógica matemática / Joaquín Aranda Almansa ... [et al.] por Aranda Almansa, Joaquín. Edición: 2a ed., 2a reimp.Tipo de material: Texto; Formato:
impreso Detalles de publicación: Madrid : Sanz y Torres, 2001Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 510.6/FUN, ... No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).
|
|
|
|
|
|
|
|
|
|
|
|
Introducción a la lógica borrosa / Enric Trillas, Claudi Alsina y Josep-María Terricabras por Trillas, Enric | Alsina, Claudi | Terricabras, Josep-María. Series Ariel matemáticaTipo de material: Texto; Formato:
impreso Detalles de publicación: Barcelona : Ariel, 1995Disponibilidad: Ítems disponibles para préstamo: 00. BIBLIOTECA CAMPUS DE ALGECIRAS (1)Ubicación, signatura topográfica: 510.6/TRI/int. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (4)Ubicación, signatura topográfica: 510.6/TRI/int, ... 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Ubicación, signatura topográfica: 510.6/TRI/int. No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).
|
|
|
|
First-order logic / Raymond M. Smullyan por Smullyan, R.M. Tipo de material: 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 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; 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 / Robert Fuster i Capilla por Fuster Capilla, Robert. Series Renaixenјa i futur ; 3587Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Detalles de publicación: Valencia : Universitat Politècnica de València, 2009Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 519.6/FUS/mat.
|
|
|
|
Matemática discreta / Félix García Merayo. por García Merayo, Félix. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Detalles de publicación: Madrid : Paraninfo, D.L. 2001Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (9)Ubicación, signatura topográfica: 519.6/GAR/mat, ...
|