Ajustar la búsqueda

Su búsqueda obtuvo 194 resultados.

Ordenar
Resultados
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, 1967-Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-44/6-103. 11. BCA.HISTÓRICA - CÁDIZ (1)Ubicación, signatura topográfica: 608/V. Reina.

Fundamentación lógica de la física / Rudolf Carnap

por Carnap, Rudolf, 1891-1970.

Series Historia del pensamiento ; 89Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Buenos Aires : Sudamericana, 1969Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-12/2-024.

Proofs from the book / Martin Aigner, Günter M. Ziegler

por Aigner, Martin | Ziegler, Günter M.

Edición: 2nd ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin [etc.] : Springer-Verlag , 2001Disponibilidad: No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1).

Lógica Axiomática / Antonio González Carloman

por González Carloman, Antonio | Universidad de Oviedo.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Oviedo : Universidad, 1975Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 51/ 28.594.

El algebra de la lógica / Louis Couturat.

por Couturat, Louis.

Series Serie de filosofía y ensayoTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Tecnos, D.L. 1976Disponibilidad: Ítems disponibles para préstamo: 04. BIBLIOTECA CIENCIAS DE LA SALUD (1)Ubicación, signatura topográfica: 6.392/D";"1201/COU.

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.

Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y Prolog / Luis de Ledesma

por Ledesma, Luis de.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Ra-Ma, 2009Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (4)Ubicación, signatura topográfica: 510.6/LED/log, ...

¿Qué es la lógica matemática? / J.N. Crossley... [et al.] ; presentación y notas de Luis Ml. Valdés, traducción [del inglés] de Jesús Alcolea Banegas ; revisada por Luis Ml. Valdés

por Crossley, John N | Meléndez Valdés, Luis | Alcolea Banegas, Jesús.

Series Cuadernos de filosofía y ensayoTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Tecnos, 1983Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 164.1:51/QUE. 06. BIBLIOTECA HUMANIDADES (2)Ubicación, signatura topográfica: Sótano-44/5-189, ...

Introduction to mathematical logic : Set Theory, computable functions, model theory / Jerome Malitz

por Malitz, Jerome.

Series Undergraduate texts in mathematicsTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlín : Springer-Verlag, 1979 (impr. 1987)Disponibilidad: No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1).

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.

The languages of logic : an introduction to formal logic / Samuel Guttenplan

por Guttenplan, Samuel.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Oxford : Basil Blackwell, 1991Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (2)Ubicación, signatura topográfica: Sótano-46/1-248, ...

Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas

por Ebbinghaus, Heinz-Dieter | Flum, H.-D | Thomas, W.

Series Undergraduate Texts in MathematicsEdición: 2nd. ed.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Springer, 1994Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/EBB/mat. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-510.6/EBB/mat.

Lógica matemática elemental / Benson Mates

por Mates, Benson.

Series Filosofía y ensayo (Tecnos)Edición: 2ª reimpr.Tipo de material: Texto 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-08/3-107.

Obras completas / Kurt Gödel ; introducción y traducción de Jesús Mosterín

por Godel, Kurt.

Series Alianza Universidad ; 286Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Alianza Editorial, D.L. 1981Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/GOD/obr. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/024.

Logic, proof, and set theory / by Marvin L. Bittinger

por Bittinger, Marvin L., (Marvin Lowell,), 1941-.

Edición: 2nd edTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Reading, MA ; London : Addison-Wesley, 1982Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/658.

Lógica matemática / Yu Ershov, E. Paliutin, traducido del ruso por M.A. Andrianova

por Ershov, Yu | Paliutin, E.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Moscu ̦: Mir, cop. 1990Disponibilidad: Ítems disponibles para préstamo: 00. BIBLIOTECA CAMPUS DE ALGECIRAS (3)Ubicación, signatura topográfica: 510.6/ERS/log, ... 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/ERS/lóg. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/ERS/log. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/154.

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ógica formal para informáticos / Lourdes Arenas Alegría

por Arenas Alegría, Lourdes.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Madrid : Díaz de Santos, 1996Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/ARE/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 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 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.

Páginas

Con tecnología Koha