Ajustar la búsqueda

Su búsqueda obtuvo 20 resultados.

Ordenar
Resultados
El teorema de Gödel / Ernest Nagel y James R. Newman

por Nagel, Ernest | Newman, James R.

Series Cuadernos de Filosofía y EnsayoEdición: 2ª ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Tecnos, 1994Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: Ma-538.

Limitaciones internas de los formalismos : estudio sobre la significación del teorema de Gödel y teoremas conexos en la teoría de los fundamentos de las matemáticas / Jean Ladrière

por Ladrière, Jean | Blasco, José [traductor].

Series Estructurra y funciónTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Técnos, 1969Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-23.

El orden de los conceptos / Jacques Maritain

por Maritain, Jacques, 1882-1973.

Series Biblioteca Argentina de FilosofíaTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Buenos Aires : Club de Lectores, 1975-Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (2)Ubicación, signatura topográfica: F-993, ...

Lógica, matemáticas y realidad / Anastasio Alemán Pardo.

por Alemán Pardo, Anastasio.

Edición: 2ª ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Madrid : Tecnos, 2011Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-6074.

Investigaciones generales sobre el análisis de las nociones y las verdades (1686) / Gottfried Wilhelm Leibniz ; introducción, traducción y notas de Mauricio Beuchot y Alejandro Herrera-Ibáñez

por Leibniz, Gottfried Wilhelm, Freiherr von, (1646-1716).

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: México : Universidad Nacional Autónoma de México, 1986Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-4077.

Primer curso de logica matematica / Patrick Suppes, Shirley Hill ; version español de Enrique Lines Escardo

por Suppes, Patrick | Hill, Shirley A.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Reverte, 1978Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (3)Ubicación, signatura topográfica: Ma-103, ... Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 510.6/SUP/pri.

Lógic y algorithmos : con aplicaciones a las ciencias de la computación e información / Robert R. Korfhage

por Korfhage, Robert R.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: México : Editorial Limusa-Wiley, 1970Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: Ma-10. 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Ubicación, signatura topográfica: BA/70/510.6/KOR/log.

Nociones de lógica formal / Joseph Dopp

por Dopp, Joseph.

Series Filosofía y ensayo (Tecnos)Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Técnos, 1969Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-19. 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 164/DOP/noc.

Teoría de Modelos / María Manzano

por Manzano, María.

Series Alianza universidad ; 126Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Alianza, 1989Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: ES-287. 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-44/5-173. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/251.

Lógicas de nuestro tiempo / Ángel Garrido.

por Garrido, Ángel.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Dykinson, 2014Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (2)Ubicación, signatura topográfica: F-6439, ...

Lógica aplicada : vaguedad e incertidumbre / Ángel Garrido.

por Garrido, Ángel.

Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Madrid : Dykinson, D.L. 2014Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-6436.

Cómo entender y hacer demostraciones en matemáticas / Daniel Solow

por Solow, Daniel.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: México : Limusa, 1987Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: Ma-16.

Lógica y teoría de conjuntos / P. M. Cheifetz, F. J. Avenoso ; versión española de A. López-Lago, B. Rubio Segovia

por Cheifetz, Philip M | Avenoso, Frank J.

Edición: 1. ed. españolaTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Alhambra, 1974Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: ES-338. 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Ubicación, signatura topográfica: BA/74/510.22/CHE/log.

Commonsense reasoning : an event calculus based approach / Erik T. Mueller

por Mueller, Erik T, (19..-....) [autor].

Edición: 2nd edition. Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Waltham, MA : M. Kaufman, Elsevier, cop. 2015Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-7075.

Logic-based artifical intelligence / edited by Jack Minker

por Minker, Jack [editor literario].

Series The Kluwer international series in engineering and computer scienceTipo de material: Texto Texto Detalles de publicación: Boston [etc.] : Kluwer Academic Publishers, 2000Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-7073.

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)
Filosofía y computación / Angel Garrido.

por Garrido, Angel.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Dykinson, 2017Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-6756.

Lógica del discurso normativo / Georges Kalinowski

por Kalinowski, Georges, 1916-.

Series Estructura y funciónTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Tecnos, 1975Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (3)Ubicación, signatura topográfica: F-5021, ...

Los elementos del lenguaje de la matemática / Arturo Fregoso

por Fregoso, Arturo.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: México : Trillas, 1977Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (4)Ubicación, signatura topográfica: Ma-321, ...

Técnicas de gestión de empresa : previsiones, decisiones y estrategias / Arnold Kaufmann, Jaime Gil Aluja

por Kaufmann, Arnold | Gil Aluja, Jaime.

Series Economía y administración de empresasTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Pirámide, 1992Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: Em-2351. 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (2)Ubicación, signatura topográfica: 51/KAU/tec, ...

Páginas

Con tecnología Koha