Resultados
|
|
|
|
|
|
|
|
|
|
|
El teorema de Gödel / Ernest Nagel y James R. Newman por Nagel, Ernest | Newman, James R. Series Estructura y Función. El porvenir actual de la ciencia ; ; 31Tipo de material:  Texto; Formato:
impreso Detalles de publicación: Madrid : Tecnos, 1970Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-44/5-171.
|
|
|
|
Primer curso de lógica matemática / Patrick Suppes, Shirley Hill por Suppes, Patrick | Hill, Shirley. Tipo de material: Texto; Formato:
impreso Detalles de publicación: Barcelona [etc.] : Reverté, 1968Otro título: Tít. de la cub.: Introducción a la lógica matemática.Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 1/ 45.571.
|
|
|
|
|
|
|
|
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 mediante la ordenación / Antonio González Carlomán por González Carloman, Antonio | Universidad de Oviedo. Servicio de Publicaciones. Tipo de material: Texto; Formato:
impreso Detalles de publicación: Oviedo : Universidad de Oviedo, D.L. 2000Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/GON/log.
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
El teorema de Gödel / Ernest Nagel y James R. Newman por Nagel, Ernest | Newman, James R. Series Estructura y Función. El porvenir actual de la ciencia ; ; 31Tipo de material: Texto; Formato:
impreso Detalles de publicación: Madrid : Tecnos, 1970Disponibilidad: Ítems disponibles para préstamo: 04. BIBLIOTECA CIENCIAS DE LA SALUD (2)Ubicación, signatura topográfica: 6.582/D";"11/NAG, ...
|
|
|
|
|
|
|
|
|
|
|
|
Mathematical logic / by Joseph R. Shoenfield por Shoenfield, Joseph R. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Detalles de publicación: Natick : A.K. Peters, 2001Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/SHO/mat. No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1). 03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).
|
|
|
|
Mathematical logic for computer science / Mordechai Ben-Ari por Ben-Ari, Mordechai. Edición: 2nd ed., 4th printingTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Detalles de publicación: London : Springer, 2001 2004 reimpDisponibilidad: No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|